Module Asttypes
: sigend
Auxiliary AST types used by parsetree and typedtree.
Warning: this module is unstable and part of Compiler_libs .
typeconstant =
| Const_int ofint
| Const_char ofchar
| Const_string ofstring*Location.t*stringoption
| Const_float ofstring
| Const_int32 ofint32
| Const_int64 ofint64
| Const_nativeint ofnativeinttyperec_flag =
| Nonrecursive
| Recursive
typedirection_flag =
| Upto
| Downto
typeprivate_flag =
| Private
| Public
typemutable_flag =
| Immutable
| Mutable
typevirtual_flag =
| Virtual
| Concrete
typeoverride_flag =
| Override
| Fresh
typeclosed_flag =
| Closed
| Open
typelabel = stringtypearg_label =
| Nolabel
| Labelled ofstring
(* label:T->...
*)
| Optional ofstring
(* ?label:T->...
*)
type'aloc = 'aLocation.loc = {
txt : 'a ;
loc : Location.t ;
}
typevariance =
| Covariant
| Contravariant
| NoVariance
typeinjectivity =
| Injective
| NoInjectivity
valstring_of_label : arg_label->string
OCamldoc 2025-06-12 Asttypes(3o)