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

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

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

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

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

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

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

val set_all_mutable_fields : 'a -> unit