Fields (genesis_constants.Genesis_constants.Protocol.Poly.Stable.V1.Fields)

val names : string list

val genesis_state_timestamp : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'genesis_state_timestamp ) t,
    'genesis_state_timestamp0 )
    Fieldslib.Field.t_with_perm

val delta : 
  ( [< `Read | `Set_and_create ], ( 'a, 'delta, 'b ) t, 'delta0 )
    Fieldslib.Field.t_with_perm

val slots_per_sub_window : 
  ( [< `Read | `Set_and_create ], ( 'length, 'a, 'b ) t, 'length0 )
    Fieldslib.Field.t_with_perm

val slots_per_epoch : 
  ( [< `Read | `Set_and_create ], ( 'length, 'a, 'b ) t, 'length0 )
    Fieldslib.Field.t_with_perm

val k : 
  ( [< `Read | `Set_and_create ], ( 'length, 'a, 'b ) t, 'length0 )
    Fieldslib.Field.t_with_perm

val make_creator : 
  k:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'd ->
      ( 'e -> 'f ) * 'g ) ->
  slots_per_epoch:
    ( ( [< `Read | `Set_and_create ], ( 'h, 'i, 'j ) t, 'h )
        Fieldslib.Field.t_with_perm ->
      'k ->
      ( 'l -> 'm ) * 'n ) ->
  slots_per_sub_window:
    ( ( [< `Read | `Set_and_create ], ( 'o, 'p, 'q ) t, 'o )
        Fieldslib.Field.t_with_perm ->
      'r ->
      ( 's -> 't ) * 'u ) ->
  delta:
    ( ( [< `Read | `Set_and_create ], ( 'v, 'w, 'x ) t, 'w )
        Fieldslib.Field.t_with_perm ->
      'y ->
      ( 'z -> 'a1 ) * 'b1 ) ->
  genesis_state_timestamp:
    ( ( [< `Read | `Set_and_create ], ( 'c1, 'd1, 'e1 ) t, 'e1 )
        Fieldslib.Field.t_with_perm ->
      'f1 ->
      ( 'g1 -> 'h1 ) * 'i1 ) ->
  'j1 ->
  ( 'k1 -> ( 'l1, 'm1, 'n1 ) t ) * 'o1

val create : 
  k:'a ->
  slots_per_epoch:'b ->
  slots_per_sub_window:'c ->
  delta:'d ->
  genesis_state_timestamp:'e ->
  ( 'f, 'g, 'h ) t

val map : 
  k:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'd ) ->
  slots_per_epoch:
    ( ( [< `Read | `Set_and_create ], ( 'e, 'f, 'g ) t, 'e )
        Fieldslib.Field.t_with_perm ->
      'h ) ->
  slots_per_sub_window:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j, 'k ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      'l ) ->
  delta:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      'p ) ->
  genesis_state_timestamp:
    ( ( [< `Read | `Set_and_create ], ( 'q, 'r, 's ) t, 's )
        Fieldslib.Field.t_with_perm ->
      't ) ->
  ( 'u, 'v, 'w ) t

val iter : 
  k:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  slots_per_epoch:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  slots_per_sub_window:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  delta:
    ( ( [< `Read | `Set_and_create ], ( 'j, 'k, 'l ) t, 'k )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  genesis_state_timestamp:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o ) t, 'o )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

val fold : 
  init:'a ->
  k:
    ( 'b ->
      ( [< `Read | `Set_and_create ], ( 'c, 'd, 'e ) t, 'c )
        Fieldslib.Field.t_with_perm ->
      'f ) ->
  slots_per_epoch:
    ( 'g ->
      ( [< `Read | `Set_and_create ], ( 'h, 'i, 'j ) t, 'h )
        Fieldslib.Field.t_with_perm ->
      'k ) ->
  slots_per_sub_window:
    ( 'l ->
      ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o ) t, 'm )
        Fieldslib.Field.t_with_perm ->
      'p ) ->
  delta:
    ( 'q ->
      ( [< `Read | `Set_and_create ], ( 'r, 's, 't ) t, 's )
        Fieldslib.Field.t_with_perm ->
      'u ) ->
  genesis_state_timestamp:
    ( 'v ->
      ( [< `Read | `Set_and_create ], ( 'w, 'x, 'y ) t, 'y )
        Fieldslib.Field.t_with_perm ->
      'z ) ->
  'a1

val map_poly : 
  ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'd ) Fieldslib.Field.user ->
  'e list

val for_all : 
  k:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  slots_per_epoch:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  slots_per_sub_window:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  delta:
    ( ( [< `Read | `Set_and_create ], ( 'j, 'k, 'l ) t, 'k )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  genesis_state_timestamp:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o ) t, 'o )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val exists : 
  k:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  slots_per_epoch:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  slots_per_sub_window:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  delta:
    ( ( [< `Read | `Set_and_create ], ( 'j, 'k, 'l ) t, 'k )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  genesis_state_timestamp:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o ) t, 'o )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val to_list : 
  k:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'd ) ->
  slots_per_epoch:
    ( ( [< `Read | `Set_and_create ], ( 'e, 'f, 'g ) t, 'e )
        Fieldslib.Field.t_with_perm ->
      'h ) ->
  slots_per_sub_window:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j, 'k ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      'l ) ->
  delta:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      'p ) ->
  genesis_state_timestamp:
    ( ( [< `Read | `Set_and_create ], ( 'q, 'r, 's ) t, 's )
        Fieldslib.Field.t_with_perm ->
      't ) ->
  'u list

module Direct : sig ... end