Ast_helper.Typ(3o) OCaml library Ast_helper.Typ(3o) NAME Ast_helper.Typ - Type expressions Module Module Ast_helper.Typ Documentation Module Typ : sig end Type expressions val mk : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse- tree.core_type_desc -> Parsetree.core_type val attr : Parsetree.core_type -> Parsetree.attribute -> Parse- tree.core_type val any : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> unit -> Parsetree.core_type val var : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> string -> Parsetree.core_type val arrow : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast- types.arg_label -> Parsetree.core_type -> Parsetree.core_type -> Parse- tree.core_type val tuple : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse- tree.core_type list -> Parsetree.core_type val constr : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type val object_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse- tree.object_field list -> Asttypes.closed_flag -> Parsetree.core_type val class_ : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> Parsetree.core_type list -> Parsetree.core_type val alias : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse- tree.core_type -> string -> Parsetree.core_type val variant : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parse- tree.row_field list -> Asttypes.closed_flag -> Asttypes.label list op- tion -> Parsetree.core_type val poly : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.str list -> Parsetree.core_type -> Parsetree.core_type val package : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Ast_helper.lid -> (Ast_helper.lid * Parsetree.core_type) list -> Parse- tree.core_type val extension : ?loc:Ast_helper.loc -> ?attrs:Ast_helper.attrs -> Parsetree.extension -> Parsetree.core_type val force_poly : Parsetree.core_type -> Parsetree.core_type val varify_constructors : Ast_helper.str list -> Parsetree.core_type -> Parsetree.core_type varify_constructors newtypes te is type expression te , of which any of nullary type constructor tc is replaced by type variable of the same name, if tc 's name appears in newtypes . Raise Syntaxerr.Vari- able_in_scope if any type variable inside te appears in newtypes . Since 4.05 OCamldoc 2023-02-12 Ast_helper.Typ(3o)
Generated by dwww version 1.15 on Sun Jun 23 04:22:07 CEST 2024.