public interface VarPrincipal extends Principal, Variable
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, variables
toJava
isCanonical, isRuntimeRepresentable, typeSystem
mustRuntimeRepresentable, name, setMustRuntimeRepresentable