package GT

  1. Overview
  2. Docs
package GT
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Located : sig ... end
type loc = Located.t
val loc_from_caml : Ppxlib.Location.t -> Ploc.t
val noloc : Ploc.t
type type_arg = MLast.type_var
val named_type_arg : loc:'a -> string -> type_arg
type lab_decl = loc * string * bool * MLast.ctyp
val lab_decl : loc:'a -> 'b -> 'c -> 'd -> 'e * 'f * 'g * 'h
type case = MLast.patt * MLast.expr option * MLast.expr
val case : lhs:MLast.patt -> rhs:MLast.expr -> case
val sep_last : 'a list -> 'b * 'c list
val capitalized : string -> bool
module Longid : sig ... end
module Pat : sig ... end
val use_new_type : loc:MLast.loc -> string -> MLast.expr -> MLast.expr
module Exp : sig ... end
module Typ : sig ... end
type type_declaration = MLast.type_decl
type class_declaration = MLast.class_expr MLast.class_infos
val class_declaration : loc:MLast.loc -> name:string -> ?virt:bool -> ?wrap:(MLast.class_expr -> MLast.class_expr) -> params:MLast.type_var list -> MLast.class_str_item list -> MLast.class_expr MLast.class_infos
module Str : sig ... end
module Me : sig ... end
module Mt : sig ... end
type module_declaration = loc * string * Mt.t
val module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration
type module_type_declaration = loc * string * Mt.t option
val module_type_declaration : loc:loc -> name:string -> Mt.t option -> module_type_declaration
module Sig : sig ... end
module WC : sig ... end
module Vb : sig ... end
val value_binding : loc:'a -> pat:'b -> expr:'c -> 'd * 'e
module Cf : sig ... end
module Ctf : sig ... end
module Cty : sig ... end
module Cl : sig ... end
val class_structure : self:'a -> fields:'b -> 'c * 'd
type class_structure = Pat.t * Cf.t list
val typ_arg_of_core_type : Ppxlib.core_type -> type_arg
val openize_poly : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp
val closize_poly : MLast.ctyp -> MLast.ctyp
val prepare_param_triples : loc:MLast.loc -> extra:MLast.ctyp -> ?inh:(loc:MLast.loc -> string -> MLast.ctyp) -> ?syn:(loc:MLast.loc -> string -> MLast.ctyp) -> ?default_inh:MLast.ctyp -> ?default_syn:MLast.ctyp -> string list -> MLast.ctyp list
val typ_vars_of_typ : MLast.ctyp -> Stdppx.String.t list