Module `Option.Constructors`

include sig ... end

val compare__bits64 : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__bits64 ->
  'a Base.Option.Constructors.t__bits64 ->
  int

val compare__bits64__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__bits64 @ local ->
  'a Base.Option.Constructors.t__bits64 @ local ->
  int

val compare__bits32 : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__bits32 ->
  'a Base.Option.Constructors.t__bits32 ->
  int

val compare__bits32__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__bits32 @ local ->
  'a Base.Option.Constructors.t__bits32 @ local ->
  int

val compare__word : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__word ->
  'a Base.Option.Constructors.t__word ->
  int

val compare__word__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__word @ local ->
  'a Base.Option.Constructors.t__word @ local ->
  int

val compare__float64 : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__float64 ->
  'a Base.Option.Constructors.t__float64 ->
  int

val compare__float64__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__float64 @ local ->
  'a Base.Option.Constructors.t__float64 @ local ->
  int

val compare__float32 : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__float32 ->
  'a Base.Option.Constructors.t__float32 ->
  int

val compare__float32__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__float32 @ local ->
  'a Base.Option.Constructors.t__float32 @ local ->
  int

val compare__'value_bits64' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_bits64' ->
  'a Base.Option.Constructors.t__'value_bits64' ->
  int

val compare__'value_bits64'__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_bits64' @ local ->
  'a Base.Option.Constructors.t__'value_bits64' @ local ->
  int

val compare__'value_bits32' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_bits32' ->
  'a Base.Option.Constructors.t__'value_bits32' ->
  int

val compare__'value_bits32'__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_bits32' @ local ->
  'a Base.Option.Constructors.t__'value_bits32' @ local ->
  int

val compare__'value_word' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_word' ->
  'a Base.Option.Constructors.t__'value_word' ->
  int

val compare__'value_word'__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_word' @ local ->
  'a Base.Option.Constructors.t__'value_word' @ local ->
  int

val compare__'value_float64' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_float64' ->
  'a Base.Option.Constructors.t__'value_float64' ->
  int

val compare__'value_float64'__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_float64' @ local ->
  'a Base.Option.Constructors.t__'value_float64' @ local ->
  int

val compare__'value_float32' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_float32' ->
  'a Base.Option.Constructors.t__'value_float32' ->
  int

val compare__'value_float32'__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_float32' @ local ->
  'a Base.Option.Constructors.t__'value_float32' @ local ->
  int

val compare__'value_value' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_value' ->
  'a Base.Option.Constructors.t__'value_value' ->
  int

val compare__'value_value'__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_value' @ local ->
  'a Base.Option.Constructors.t__'value_value' @ local ->
  int

val compare__'value_'value_value'' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_'value_value'' ->
  'a Base.Option.Constructors.t__'value_'value_value'' ->
  int

val compare__'value_'value_value''__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_'value_value'' @ local ->
  'a Base.Option.Constructors.t__'value_'value_value'' @ local ->
  int

val compare__'value_'value_value_value'' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_'value_value_value'' ->
  'a Base.Option.Constructors.t__'value_'value_value_value'' ->
  int

val compare__'value_'value_value_value''__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_'value_value_value'' @ local ->
  'a Base.Option.Constructors.t__'value_'value_value_value'' @ local ->
  int

val compare__'value_'value_value_value_value'' : 
  ('a -> 'a -> int) ->
  'a Base.Option.Constructors.t__'value_'value_value_value_value'' ->
  'a Base.Option.Constructors.t__'value_'value_value_value_value'' ->
  int

val compare__'value_'value_value_value_value''__local : 
  ('a @ local -> 'a @ local -> int) ->
  'a Base.Option.Constructors.t__'value_'value_value_value_value'' @ local ->
  'a Base.Option.Constructors.t__'value_'value_value_value_value'' @ local ->
  int

type ('a : value_or_null) t = 'a option =

| None
| Some of 'a

include sig ... end

val is_none : 
  ('a : value_or_null). 'a Base.Option.Constructors.t @ local contended ->
  bool

val is_some : 
  ('a : value_or_null). 'a Base.Option.Constructors.t @ local contended ->
  bool

Module Option.Constructors

Module `Option.Constructors`