Fields (mina_base.Mina_base.Epoch

val names : string list

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

val lock_checkpoint : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'lock_checkpoint, 'd ) t,
    'lock_checkpoint0 )
    Fieldslib.Field.t_with_perm

val start_checkpoint : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'start_checkpoint, 'c, 'd ) t,
    'start_checkpoint0 )
    Fieldslib.Field.t_with_perm

val seed : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'epoch_seed, 'b, 'c, 'd ) t,
    'epoch_seed0 )
    Fieldslib.Field.t_with_perm

val ledger : 
  ( [< `Read | `Set_and_create ],
    ( 'epoch_ledger, 'a, 'b, 'c, 'd ) t,
    'epoch_ledger0 )
    Fieldslib.Field.t_with_perm

val make_creator : 
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c, 'd, 'e ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'f ->
      ( 'g -> 'h ) * 'i ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'j, 'k, 'l, 'm, 'n ) t, 'k )
        Fieldslib.Field.t_with_perm ->
      'o ->
      ( 'p -> 'q ) * 'r ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 's, 't, 'u, 'v, 'w ) t, 'u )
        Fieldslib.Field.t_with_perm ->
      'x ->
      ( 'y -> 'z ) * 'a1 ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'b1, 'c1, 'd1, 'e1, 'f1 ) t, 'e1 )
        Fieldslib.Field.t_with_perm ->
      'g1 ->
      ( 'h1 -> 'i1 ) * 'j1 ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'k1, 'l1, 'm1, 'n1, 'o1 ) t, 'o1 )
        Fieldslib.Field.t_with_perm ->
      'p1 ->
      ( 'q1 -> 'r1 ) * 's1 ) ->
  't1 ->
  ( 'u1 -> ( 'v1, 'w1, 'x1, 'y1, 'z1 ) t ) * 'a2

val create : 
  ledger:'a ->
  seed:'b ->
  start_checkpoint:'c ->
  lock_checkpoint:'d ->
  epoch_length:'e ->
  ( 'f, 'g, 'h, 'i, 'j ) t

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

val iter : 
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c, 'd, 'e ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h, 'i, 'j ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'k, 'l, 'm, 'n, 'o ) t, 'm )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'p, 'q, 'r, 's, 't ) t, 's )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'u, 'v, 'w, 'x, 'y ) t, 'y )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

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

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

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

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

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

module Direct : sig ... end