Smyth.Pretty
val pat : Lang.pat -> string
Pretty-prints a pattern.
val typ : Lang.typ -> string
Pretty-prints a type.
val exp : Lang.exp -> string
Pretty-prints an expression.