Arg.java

package org.scribble.sesstype;

import org.scribble.sesstype.kind.NonRoleArgKind;

// A subprotocol argument (DoArgNode): SigKind or PayloadTypeKind
public interface Arg<K extends NonRoleArgKind>
{
	NonRoleArgKind getKind();
}