AstHelpers.Ctf
type t
val inherit_ : loc:loc -> Cty.t -> t
val method_ : loc:loc -> ?virt:bool -> string -> Typ.t -> t
val constraint_ : loc:loc -> Typ.t -> Typ.t -> t