Variants (hardcaml.Hardcaml.Parameter.Std

val u : t Variantslib.Variant.t

val x : t Variantslib.Variant.t

val l0 : t Variantslib.Variant.t

val l1 : t Variantslib.Variant.t

val z : t Variantslib.Variant.t

val w : t Variantslib.Variant.t

val l : t Variantslib.Variant.t

val h : t Variantslib.Variant.t

val don't_care : t Variantslib.Variant.t

val fold : 
  init:'acc__ ->
  u:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  x:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  l0:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  l1:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  z:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  w:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  l:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  h:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  don't_care:( 'acc__ -> t Variantslib.Variant.t -> 'acc__ ) ->
  'acc__

val iter : 
  u:( t Variantslib.Variant.t -> Base.unit ) ->
  x:( t Variantslib.Variant.t -> Base.unit ) ->
  l0:( t Variantslib.Variant.t -> Base.unit ) ->
  l1:( t Variantslib.Variant.t -> Base.unit ) ->
  z:( t Variantslib.Variant.t -> Base.unit ) ->
  w:( t Variantslib.Variant.t -> Base.unit ) ->
  l:( t Variantslib.Variant.t -> Base.unit ) ->
  h:( t Variantslib.Variant.t -> Base.unit ) ->
  don't_care:( t Variantslib.Variant.t -> Base.unit ) ->
  Base.unit

val map : 
  t ->
  u:( t Variantslib.Variant.t -> 'result__ ) ->
  x:( t Variantslib.Variant.t -> 'result__ ) ->
  l0:( t Variantslib.Variant.t -> 'result__ ) ->
  l1:( t Variantslib.Variant.t -> 'result__ ) ->
  z:( t Variantslib.Variant.t -> 'result__ ) ->
  w:( t Variantslib.Variant.t -> 'result__ ) ->
  l:( t Variantslib.Variant.t -> 'result__ ) ->
  h:( t Variantslib.Variant.t -> 'result__ ) ->
  don't_care:( t Variantslib.Variant.t -> 'result__ ) ->
  'result__

val make_matcher : 
  u:
    ( t Variantslib.Variant.t ->
      'acc__0 ->
      ( Base.unit -> 'result__ ) * 'acc__1 ) ->
  x:
    ( t Variantslib.Variant.t ->
      'acc__1 ->
      ( Base.unit -> 'result__ ) * 'acc__2 ) ->
  l0:
    ( t Variantslib.Variant.t ->
      'acc__2 ->
      ( Base.unit -> 'result__ ) * 'acc__3 ) ->
  l1:
    ( t Variantslib.Variant.t ->
      'acc__3 ->
      ( Base.unit -> 'result__ ) * 'acc__4 ) ->
  z:
    ( t Variantslib.Variant.t ->
      'acc__4 ->
      ( Base.unit -> 'result__ ) * 'acc__5 ) ->
  w:
    ( t Variantslib.Variant.t ->
      'acc__5 ->
      ( Base.unit -> 'result__ ) * 'acc__6 ) ->
  l:
    ( t Variantslib.Variant.t ->
      'acc__6 ->
      ( Base.unit -> 'result__ ) * 'acc__7 ) ->
  h:
    ( t Variantslib.Variant.t ->
      'acc__7 ->
      ( Base.unit -> 'result__ ) * 'acc__8 ) ->
  don't_care:
    ( t Variantslib.Variant.t ->
      'acc__8 ->
      ( Base.unit -> 'result__ ) * 'acc__9 ) ->
  'acc__0 ->
  ( t -> 'result__ ) * 'acc__9

val to_rank : t -> Base.int

val to_name : t -> Base.string

val descriptions : (Base.string * Base.int) Base.list