Module Ast_500.Asttypes

include module type of struct include Ast_414.Asttypes end
type constant = Ast_414.Asttypes.constant =
  1. | Const_int of int
  2. | Const_char of char
  3. | Const_string of string * Location.t * string option
  4. | Const_float of string
  5. | Const_int32 of int32
  6. | Const_int64 of int64
  7. | Const_nativeint of nativeint
type rec_flag = Ast_414.Asttypes.rec_flag =
  1. | Nonrecursive
  2. | Recursive
type direction_flag = Ast_414.Asttypes.direction_flag =
  1. | Upto
  2. | Downto
type private_flag = Ast_414.Asttypes.private_flag =
  1. | Private
  2. | Public
type mutable_flag = Ast_414.Asttypes.mutable_flag =
  1. | Immutable
  2. | Mutable
type virtual_flag = Ast_414.Asttypes.virtual_flag =
  1. | Virtual
  2. | Concrete
type override_flag = Ast_414.Asttypes.override_flag =
  1. | Override
  2. | Fresh
type closed_flag = Ast_414.Asttypes.closed_flag =
  1. | Closed
  2. | Open
type label = string
type arg_label = Ast_414.Asttypes.arg_label =
  1. | Nolabel
  2. | Labelled of string
    (*

    label:T -> ...

    *)
  3. | Optional of string
    (*

    ?label:T -> ...

    *)
type 'a loc = 'a Location.loc = {
  1. txt : 'a;
  2. loc : Location.t;
}
type variance = Ast_414.Asttypes.variance =
  1. | Covariant
  2. | Contravariant
  3. | NoVariance
type injectivity = Ast_414.Asttypes.injectivity =
  1. | Injective
  2. | NoInjectivity