Package hydra.show
Interface Typing
-
public interface TypingString representations of hydra.typing types
-
-
Method Summary
Static Methods Modifier and Type Method Description static java.lang.StringtypeConstraint(TypeConstraint tc)static java.lang.StringtypeSubst(TypeSubst ts)
-
-
-
Method Detail
-
typeConstraint
static java.lang.String typeConstraint(TypeConstraint tc)
-
typeSubst
static java.lang.String typeSubst(TypeSubst ts)
-
-