Ty.Def
type t = ty_def
val view : expand:bool -> t -> < ty : ty ; ty_var : ty_var ; term_cst : term_cst > Dolmen_intf.View.TFF.TypeDef.view