package GT

  1. Overview
  2. Docs

Module AstHelpers.Typ

type t
val from_caml : Ppxlib.core_type -> t
val use_tdecl : Ppxlib.type_declaration -> t
val of_type_arg : loc:loc -> type_arg -> t
val of_longident : loc:loc -> Ppxlib.longident -> t
val access2 : loc:loc -> string -> string -> t
val sprintf : loc:loc -> ('a, unit, string, t) format4 -> 'a
val ident : loc:loc -> string -> t
val var : loc:loc -> string -> t
val any : loc:loc -> t
val unit : loc:loc -> t
val string : loc:loc -> t
val constr : loc:loc -> Ppxlib.longident -> t list -> t
val pair : loc:loc -> t -> t -> t
val tuple : loc:loc -> t list -> t
val class_ : loc:loc -> Ppxlib.longident -> t list -> t
val object_ : loc:loc -> Ppxlib.closed_flag -> (string * t) list -> t
val arrow : loc:loc -> t -> t -> t
val chain_arrow : loc:loc -> t list -> t
val variant : loc:loc -> ?is_open:bool -> Ppxlib.row_field list -> t
val variant_of_t : loc:loc -> t -> t
val alias : loc:loc -> t -> string -> t
val poly : loc:loc -> string list -> t -> t
val map : onvar:(string -> t option) -> t -> t
val openize : loc:loc -> ?as_:string -> t -> t
val to_type_arg_exn : t -> type_arg
val to_type_arg : t -> type_arg option