package org.scribble.sesstype.kind; // Non-role params public interface NonRoleParamKind extends NonRoleArgKind, ParamKind { }