Module Ast_500.AsttypesSource

include module type of struct include Ast_414.Asttypes end
Sourcetype 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
Sourcetype rec_flag = Ast_414.Asttypes.rec_flag =
  1. | Nonrecursive
  2. | Recursive
Sourcetype direction_flag = Ast_414.Asttypes.direction_flag =
  1. | Upto
  2. | Downto
Sourcetype private_flag = Ast_414.Asttypes.private_flag =
  1. | Private
  2. | Public
Sourcetype mutable_flag = Ast_414.Asttypes.mutable_flag =
  1. | Immutable
  2. | Mutable
Sourcetype virtual_flag = Ast_414.Asttypes.virtual_flag =
  1. | Virtual
  2. | Concrete
Sourcetype override_flag = Ast_414.Asttypes.override_flag =
  1. | Override
  2. | Fresh
Sourcetype closed_flag = Ast_414.Asttypes.closed_flag =
  1. | Closed
  2. | Open
Sourcetype label = string
Sourcetype arg_label = Ast_414.Asttypes.arg_label =
  1. | Nolabel
  2. | Labelled of string
    (*

    label:T -> ...

    *)
  3. | Optional of string
    (*

    ?label:T -> ...

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