Asttypes3o

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 atomic_flag =
| Nonatomic
| Atomic

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
| Bivariant

type injectivity =
| Injective
| NoInjectivity

val string_of_label : arg_label -> string