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 -> Base.String.t Base.List.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct