Asttypes.3o - Man Page
Auxiliary AST types used by parsetree and typedtree.
Module
Module Asttypes
Documentation
Module Asttypes
: sig end
Auxiliary AST types used by parsetree and typedtree.
Warning: this module is unstable and part of Compiler_libs .
type constant =
| Const_int of int
| Const_char of char
| Const_string of string * Location.t * string option
| Const_float of string
| Const_int32 of int32
| Const_int64 of int64
| Const_nativeint of nativeint
type rec_flag =
| Nonrecursive
| Recursive
type direction_flag =
| Upto
| Downto
type private_flag =
| Private
| Public
type mutable_flag =
| Immutable
| Mutable
type virtual_flag =
| Virtual
| Concrete
type override_flag =
| Override
| Fresh
type closed_flag =
| Closed
| Open
type label = string
type arg_label =
| Nolabel
| Labelled of string
(* label:T -> ...
*)
| Optional of string
(* ?label:T -> ...
*)
type 'a loc = 'a Location.loc = {
txt : 'a ;
loc : Location.t ;
}
type variance =
| Covariant
| Contravariant
| NoVariance
type injectivity =
| Injective
| NoInjectivity