NAME

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