package GT

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type loc
type class_structure
type case
type class_declaration
type lab_decl
type module_declaration
type module_type_declaration
type type_arg
val loc_from_caml : Ppxlib.location -> loc
val noloc : loc
val named_type_arg : loc:loc -> string -> type_arg
val typ_arg_of_core_type : Ppxlib.core_type -> type_arg
module Pat : sig ... end

for Pat

module Exp : sig ... end
module Typ : sig ... end
module Cf : sig ... end
module Cty : sig ... end
module Ctf : sig ... end
module Str : sig ... end
module Sig : sig ... end
module Me : sig ... end
module Mt : sig ... end
module WC : sig ... end
module Cl : sig ... end
module Vb : sig ... end
val class_declaration : loc:loc -> name:string -> ?virt:bool -> ?wrap:(Cl.t -> Cl.t) -> params:type_arg list -> Cf.t list -> class_declaration
val value_binding : loc:loc -> pat:Pat.t -> expr:Exp.t -> Vb.t
val case : lhs:Pat.t -> rhs:Exp.t -> case
val class_structure : self:Pat.t -> fields:Cf.t list -> class_structure
val lab_decl : loc:loc -> string -> bool -> Typ.t -> lab_decl
val module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration
val module_type_declaration : loc:loc -> name:string -> Mt.t option -> module_type_declaration
val use_new_type : loc:loc -> string -> Exp.t -> Exp.t
val openize_poly : loc:loc -> Typ.t -> Typ.t
val prepare_param_triples : loc:loc -> extra:Typ.t -> ?inh:(loc:loc -> string -> Typ.t) -> ?syn:(loc:loc -> string -> Typ.t) -> ?default_inh:Typ.t -> ?default_syn:Typ.t -> string list -> Typ.t list
val typ_vars_of_typ : Typ.t -> string list