AstHelpers.Cf
type t
val method_concrete : loc:loc -> string -> Exp.t -> t
val method_virtual : loc:loc -> string -> Typ.t -> t
val inherit_ : loc:loc -> ?as_:string option -> Cl.t -> t
val constraint_ : loc:loc -> Typ.t -> Typ.t -> t