Module type Builder'.Ext

type t
val to_typ : (t TyExpr.t -> Ty.t) -> t -> Ty.t