Ast_helper.Typ - Type expressions

       Module Typ
        : sigend

       Type expressions

       valmk    :    ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Parsetree.core_type_desc->Parsetree.core_typevalattr : Parsetree.core_type->Parsetree.attribute->Parsetree.core_typevalany : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->unit->Parsetree.core_typevalvar : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->string->Parsetree.core_typevalarrow : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Asttypes.arg_label->Parsetree.core_type->Parsetree.core_type->Parsetree.core_typevaltuple   :   ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Parsetree.core_typelist->Parsetree.core_typevalconstr : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Ast_helper.lid->Parsetree.core_typelist->Parsetree.core_typevalobject_  :  ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Parsetree.object_fieldlist->Asttypes.closed_flag->Parsetree.core_typevalclass_ : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Ast_helper.lid->Parsetree.core_typelist->Parsetree.core_typevalalias   :   ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Parsetree.core_type->stringAst_helper.with_loc->Parsetree.core_typevalvariant  :  ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Parsetree.row_fieldlist->Asttypes.closed_flag->Asttypes.labellistoption->Parsetree.core_typevalpoly  : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Ast_helper.strlist->Parsetree.core_type->Parsetree.core_typevalpackage : ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Ast_helper.lid->(Ast_helper.lid*Parsetree.core_type)list->Parsetree.core_typevalopen_  :  ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Ast_helper.lid->Parsetree.core_type->Parsetree.core_typevalextension   :   ?loc:Ast_helper.loc->?attrs:Ast_helper.attrs->Parsetree.extension->Parsetree.core_typevalforce_poly : Parsetree.core_type->Parsetree.core_typevalvarify_constructors : Ast_helper.strlist->Parsetree.core_type->Parsetree.core_typevarify_constructorsnewtypeste  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.Variable_in_scope if any type variable inside te appears in newtypes .

       Since 4.05

OCamldoc                                           2025-06-12                                 Ast_helper.Typ(3o)

       Module   Ast_helper.Typ

       Ast_helper.Typ - Type expressions