package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f

sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb

type t

val of_tdecls : loc:loc -> Ppxlib.type_declaration -> t

val value : loc:loc -> name:string -> Typ.t -> t

val class_ : 
  loc:loc ->
  name:string ->
  params:type_arg list ->
  ?virt:bool ->
  ?wrap:(Cty.t -> Cty.t) ->
  Ctf.t list ->
  t

val functor1 : loc:loc -> string -> param:string -> t list -> t list -> t

val simple_gadt : 
  loc:loc ->
  name:string ->
  params_count:int ->
  (string * Typ.t) list ->
  t

val tdecl_abstr : loc:loc -> string -> string option list -> t

val module_ : loc:loc -> module_declaration -> t

val modtype : loc:loc -> module_type_declaration -> t