package GT

  1. Overview
  2. Docs
package GT
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
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