package GT

  1. Overview
  2. Docs
package GT
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = MLast.ctyp
val of_longident : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.ctyp
val sprintf : loc:MLast.loc -> ('a, unit, string, MLast.ctyp) format4 -> 'b
val ident : loc:MLast.loc -> string -> MLast.ctyp
val string : loc:MLast.loc -> MLast.ctyp
val unit : loc:MLast.loc -> MLast.ctyp
val pair : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp
val access2 : loc:MLast.loc -> string -> string -> MLast.ctyp
val var : loc:MLast.loc -> string -> MLast.ctyp
val app : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp
val any : loc:MLast.loc -> MLast.ctyp
val alias : loc:MLast.loc -> MLast.ctyp -> string -> MLast.ctyp
val tuple : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp
val constr : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.ctyp list -> MLast.ctyp
val class_ : loc:MLast.loc -> Longident.t -> MLast.ctyp list -> MLast.ctyp
val of_type_arg : loc:MLast.loc -> (string option Ploc.vala * 'a) -> MLast.ctyp
val object_ : loc:MLast.loc -> Ppxlib.closed_flag -> (string * MLast.ctyp) list -> MLast.ctyp
val arrow : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp
val chain_arrow : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp
val from_caml : Ppxlib.core_type -> MLast.ctyp
val variant : loc:MLast.loc -> ?is_open:bool -> Ppxlib.row_field list -> MLast.ctyp
val variant_of_t : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp
val openize : loc:MLast.loc -> ?as_:string -> MLast.ctyp -> MLast.ctyp
val poly : loc:MLast.loc -> string list -> MLast.ctyp -> MLast.ctyp
val map : onvar:'a -> 'b -> 'c
val to_type_arg : MLast.ctyp -> type_arg option
val to_type_arg_exn : MLast.ctyp -> type_arg
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