View.Sig
type t
val view : expand:bool -> t -> < ty_var : Ty.Var.t ; ty : Ty.t.. > Dolmen_intf.View.TFF.Sig.view