package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179

sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b

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