Fields (daemon_rpcs.Daemon_rpcs.Types.Status.Fields)

val names : string list

val metrics : 
  ( [< `Read | `Set_and_create ], t, Metrics.t ) Fieldslib.Field.t_with_perm

val addrs_and_ports : 
  ( [< `Read | `Set_and_create ],
    t,
    Node_addrs_and_ports.Display.Stable.Latest.t )
    Fieldslib.Field.t_with_perm

val consensus_configuration : 
  ( [< `Read | `Set_and_create ], t, Consensus.Configuration.Stable.Latest.t )
    Fieldslib.Field.t_with_perm

val consensus_mechanism : 
  ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm

val consensus_time_now : 
  ( [< `Read | `Set_and_create ],
    t,
    Consensus.Data.Consensus_time.Stable.Latest.t )
    Fieldslib.Field.t_with_perm

val next_block_production : 
  ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
    Fieldslib.Field.t_with_perm

val global_slot_since_genesis_best_tip : 
  ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm

val consensus_time_best_tip : 
  ( [< `Read | `Set_and_create ],
    t,
    Consensus.Data.Consensus_time.Stable.Latest.t option )
    Fieldslib.Field.t_with_perm

val histograms : 
  ( [< `Read | `Set_and_create ], t, Histograms.t option )
    Fieldslib.Field.t_with_perm

val coinbase_receiver : 
  ( [< `Read | `Set_and_create ], t, string option )
    Fieldslib.Field.t_with_perm

val block_production_keys : 
  ( [< `Read | `Set_and_create ], t, string list ) Fieldslib.Field.t_with_perm

val catchup_status : 
  ( [< `Read | `Set_and_create ],
    t,
    (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list option )
    Fieldslib.Field.t_with_perm

val sync_status : 
  ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
    Fieldslib.Field.t_with_perm

val snark_work_fee : 
  ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm

val snark_worker : 
  ( [< `Read | `Set_and_create ], t, string option )
    Fieldslib.Field.t_with_perm

val user_commands_sent : 
  ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm

val peers : 
  ( [< `Read | `Set_and_create ],
    t,
    Network_peer.Peer.Display.Stable.Latest.t list )
    Fieldslib.Field.t_with_perm

val conf_dir : 
  ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm

val commit_id : 
  ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
    Fieldslib.Field.t_with_perm

val chain_id : 
  ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm

val state_hash : 
  ( [< `Read | `Set_and_create ], t, string option )
    Fieldslib.Field.t_with_perm

val ledger_merkle_root : 
  ( [< `Read | `Set_and_create ], t, string option )
    Fieldslib.Field.t_with_perm

val uptime_secs : 
  ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm

val highest_unvalidated_block_length_received : 
  ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm

val highest_block_length_received : 
  ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm

val blockchain_length : 
  ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm

val num_accounts : 
  ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm

val make_creator : 
  num_accounts:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'a ->
      ( 'b -> int option ) * 'c ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'd ->
      ( 'e -> int option ) * 'f ) ->
  highest_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'g ->
      ( 'h -> int ) * 'i ) ->
  highest_unvalidated_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'j ->
      ( 'k -> int ) * 'l ) ->
  uptime_secs:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'm ->
      ( 'n -> int ) * 'o ) ->
  ledger_merkle_root:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'p ->
      ( 'q -> string option ) * 'r ) ->
  state_hash:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      's ->
      ( 't -> string option ) * 'u ) ->
  chain_id:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'v ->
      ( 'w -> string ) * 'x ) ->
  commit_id:
    ( ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'y ->
      ( 'z -> Git_sha.Stable.Latest.t ) * 'a1 ) ->
  conf_dir:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'b1 ->
      ( 'c1 -> string ) * 'd1 ) ->
  peers:
    ( ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      'e1 ->
      ( 'f1 -> Network_peer.Peer.Display.Stable.Latest.t list ) * 'g1 ) ->
  user_commands_sent:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'h1 ->
      ( 'i1 -> int ) * 'j1 ) ->
  snark_worker:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'k1 ->
      ( 'l1 -> string option ) * 'm1 ) ->
  snark_work_fee:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'n1 ->
      ( 'o1 -> int ) * 'p1 ) ->
  sync_status:
    ( ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'q1 ->
      ( 'r1 -> Sync_status.Stable.Latest.t ) * 's1 ) ->
  catchup_status:
    ( ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      't1 ->
      ( 'u1 ->
      (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
        option )
      * 'v1 ) ->
  block_production_keys:
    ( ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      'w1 ->
      ( 'x1 -> string list ) * 'y1 ) ->
  coinbase_receiver:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'z1 ->
      ( 'a2 -> string option ) * 'b2 ) ->
  histograms:
    ( ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      'c2 ->
      ( 'd2 -> Histograms.t option ) * 'e2 ) ->
  consensus_time_best_tip:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      'f2 ->
      ( 'g2 -> Consensus.Data.Consensus_time.Stable.Latest.t option ) * 'h2 ) ->
  global_slot_since_genesis_best_tip:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'i2 ->
      ( 'j2 -> int option ) * 'k2 ) ->
  next_block_production:
    ( ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      'l2 ->
      ( 'm2 -> Next_producer_timing.t option ) * 'n2 ) ->
  consensus_time_now:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'o2 ->
      ( 'p2 -> Consensus.Data.Consensus_time.Stable.Latest.t ) * 'q2 ) ->
  consensus_mechanism:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'r2 ->
      ( 's2 -> string ) * 't2 ) ->
  consensus_configuration:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'u2 ->
      ( 'v2 -> Consensus.Configuration.Stable.Latest.t ) * 'w2 ) ->
  addrs_and_ports:
    ( ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'x2 ->
      ( 'y2 -> Node_addrs_and_ports.Display.Stable.Latest.t ) * 'z2 ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      'a3 ->
      ( 'b3 -> Metrics.t ) * 'c3 ) ->
  'd3 ->
  ( 'e3 -> t ) * 'f3

val create : 
  num_accounts:int option ->
  blockchain_length:int option ->
  highest_block_length_received:int ->
  highest_unvalidated_block_length_received:int ->
  uptime_secs:int ->
  ledger_merkle_root:string option ->
  state_hash:string option ->
  chain_id:string ->
  commit_id:Git_sha.Stable.Latest.t ->
  conf_dir:string ->
  peers:Network_peer.Peer.Display.Stable.Latest.t list ->
  user_commands_sent:int ->
  snark_worker:string option ->
  snark_work_fee:int ->
  sync_status:Sync_status.Stable.Latest.t ->
  catchup_status:
    (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list option ->
  block_production_keys:string list ->
  coinbase_receiver:string option ->
  histograms:Histograms.t option ->
  consensus_time_best_tip:Consensus.Data.Consensus_time.Stable.Latest.t option ->
  global_slot_since_genesis_best_tip:int option ->
  next_block_production:Next_producer_timing.t option ->
  consensus_time_now:Consensus.Data.Consensus_time.Stable.Latest.t ->
  consensus_mechanism:string ->
  consensus_configuration:Consensus.Configuration.Stable.Latest.t ->
  addrs_and_ports:Node_addrs_and_ports.Display.Stable.Latest.t ->
  metrics:Metrics.t ->
  t

val map : 
  num_accounts:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      int option ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      int option ) ->
  highest_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      int ) ->
  highest_unvalidated_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      int ) ->
  uptime_secs:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      int ) ->
  ledger_merkle_root:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      string option ) ->
  state_hash:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      string option ) ->
  chain_id:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      string ) ->
  commit_id:
    ( ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      Git_sha.Stable.Latest.t ) ->
  conf_dir:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      string ) ->
  peers:
    ( ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      Network_peer.Peer.Display.Stable.Latest.t list ) ->
  user_commands_sent:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      int ) ->
  snark_worker:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      string option ) ->
  snark_work_fee:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      int ) ->
  sync_status:
    ( ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      Sync_status.Stable.Latest.t ) ->
  catchup_status:
    ( ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
        option ) ->
  block_production_keys:
    ( ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      string list ) ->
  coinbase_receiver:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      string option ) ->
  histograms:
    ( ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      Histograms.t option ) ->
  consensus_time_best_tip:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      Consensus.Data.Consensus_time.Stable.Latest.t option ) ->
  global_slot_since_genesis_best_tip:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      int option ) ->
  next_block_production:
    ( ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      Next_producer_timing.t option ) ->
  consensus_time_now:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      Consensus.Data.Consensus_time.Stable.Latest.t ) ->
  consensus_mechanism:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      string ) ->
  consensus_configuration:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      Consensus.Configuration.Stable.Latest.t ) ->
  addrs_and_ports:
    ( ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      Node_addrs_and_ports.Display.Stable.Latest.t ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      Metrics.t ) ->
  t

val iter : 
  num_accounts:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  highest_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  highest_unvalidated_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  uptime_secs:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  ledger_merkle_root:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  state_hash:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  chain_id:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  commit_id:
    ( ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  conf_dir:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  peers:
    ( ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  user_commands_sent:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  snark_worker:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  snark_work_fee:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  sync_status:
    ( ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  catchup_status:
    ( ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  block_production_keys:
    ( ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  coinbase_receiver:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  histograms:
    ( ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  consensus_time_best_tip:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  global_slot_since_genesis_best_tip:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  next_block_production:
    ( ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  consensus_time_now:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  consensus_mechanism:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  consensus_configuration:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  addrs_and_ports:
    ( ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

val fold : 
  init:'a ->
  num_accounts:
    ( 'b ->
      ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'c ) ->
  blockchain_length:
    ( 'd ->
      ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'e ) ->
  highest_block_length_received:
    ( 'f ->
      ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'g ) ->
  highest_unvalidated_block_length_received:
    ( 'h ->
      ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'i ) ->
  uptime_secs:
    ( 'j ->
      ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'k ) ->
  ledger_merkle_root:
    ( 'l ->
      ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'm ) ->
  state_hash:
    ( 'n ->
      ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'o ) ->
  chain_id:
    ( 'p ->
      ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'q ) ->
  commit_id:
    ( 'r ->
      ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      's ) ->
  conf_dir:
    ( 't ->
      ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'u ) ->
  peers:
    ( 'v ->
      ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      'w ) ->
  user_commands_sent:
    ( 'x ->
      ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'y ) ->
  snark_worker:
    ( 'z ->
      ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'a1 ) ->
  snark_work_fee:
    ( 'b1 ->
      ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'c1 ) ->
  sync_status:
    ( 'd1 ->
      ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'e1 ) ->
  catchup_status:
    ( 'f1 ->
      ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      'g1 ) ->
  block_production_keys:
    ( 'h1 ->
      ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      'i1 ) ->
  coinbase_receiver:
    ( 'j1 ->
      ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'k1 ) ->
  histograms:
    ( 'l1 ->
      ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      'm1 ) ->
  consensus_time_best_tip:
    ( 'n1 ->
      ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      'o1 ) ->
  global_slot_since_genesis_best_tip:
    ( 'p1 ->
      ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'q1 ) ->
  next_block_production:
    ( 'r1 ->
      ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      's1 ) ->
  consensus_time_now:
    ( 't1 ->
      ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'u1 ) ->
  consensus_mechanism:
    ( 'v1 ->
      ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'w1 ) ->
  consensus_configuration:
    ( 'x1 ->
      ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'y1 ) ->
  addrs_and_ports:
    ( 'z1 ->
      ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'a2 ) ->
  metrics:
    ( 'b2 ->
      ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      'c2 ) ->
  'd2

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

val for_all : 
  num_accounts:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  highest_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  highest_unvalidated_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  uptime_secs:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  ledger_merkle_root:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  state_hash:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  chain_id:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  commit_id:
    ( ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  conf_dir:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  peers:
    ( ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  user_commands_sent:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  snark_worker:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  snark_work_fee:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  sync_status:
    ( ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  catchup_status:
    ( ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  block_production_keys:
    ( ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  coinbase_receiver:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  histograms:
    ( ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_time_best_tip:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  global_slot_since_genesis_best_tip:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  next_block_production:
    ( ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_time_now:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_mechanism:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_configuration:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  addrs_and_ports:
    ( ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val exists : 
  num_accounts:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  highest_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  highest_unvalidated_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  uptime_secs:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  ledger_merkle_root:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  state_hash:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  chain_id:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  commit_id:
    ( ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  conf_dir:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  peers:
    ( ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  user_commands_sent:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  snark_worker:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  snark_work_fee:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  sync_status:
    ( ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  catchup_status:
    ( ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  block_production_keys:
    ( ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  coinbase_receiver:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  histograms:
    ( ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_time_best_tip:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  global_slot_since_genesis_best_tip:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  next_block_production:
    ( ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_time_now:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_mechanism:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  consensus_configuration:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  addrs_and_ports:
    ( ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val to_list : 
  num_accounts:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'a ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'b ) ->
  highest_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'c ) ->
  highest_unvalidated_block_length_received:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  uptime_secs:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'e ) ->
  ledger_merkle_root:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'f ) ->
  state_hash:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'g ) ->
  chain_id:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'h ) ->
  commit_id:
    ( ( [< `Read | `Set_and_create ], t, Git_sha.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'i ) ->
  conf_dir:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  peers:
    ( ( [< `Read | `Set_and_create ],
        t,
        Network_peer.Peer.Display.Stable.Latest.t list )
        Fieldslib.Field.t_with_perm ->
      'k ) ->
  user_commands_sent:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'l ) ->
  snark_worker:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'm ) ->
  snark_work_fee:
    ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
      'n ) ->
  sync_status:
    ( ( [< `Read | `Set_and_create ], t, Sync_status.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'o ) ->
  catchup_status:
    ( ( [< `Read | `Set_and_create ],
        t,
        (Transition_frontier.Full_catchup_tree.Node.State.Enum.t * int) list
          option )
        Fieldslib.Field.t_with_perm ->
      'p ) ->
  block_production_keys:
    ( ( [< `Read | `Set_and_create ], t, string list )
        Fieldslib.Field.t_with_perm ->
      'q ) ->
  coinbase_receiver:
    ( ( [< `Read | `Set_and_create ], t, string option )
        Fieldslib.Field.t_with_perm ->
      'r ) ->
  histograms:
    ( ( [< `Read | `Set_and_create ], t, Histograms.t option )
        Fieldslib.Field.t_with_perm ->
      's ) ->
  consensus_time_best_tip:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t option )
        Fieldslib.Field.t_with_perm ->
      't ) ->
  global_slot_since_genesis_best_tip:
    ( ( [< `Read | `Set_and_create ], t, int option )
        Fieldslib.Field.t_with_perm ->
      'u ) ->
  next_block_production:
    ( ( [< `Read | `Set_and_create ], t, Next_producer_timing.t option )
        Fieldslib.Field.t_with_perm ->
      'v ) ->
  consensus_time_now:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Data.Consensus_time.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'w ) ->
  consensus_mechanism:
    ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
      'x ) ->
  consensus_configuration:
    ( ( [< `Read | `Set_and_create ],
        t,
        Consensus.Configuration.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'y ) ->
  addrs_and_ports:
    ( ( [< `Read | `Set_and_create ],
        t,
        Node_addrs_and_ports.Display.Stable.Latest.t )
        Fieldslib.Field.t_with_perm ->
      'z ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ], t, Metrics.t )
        Fieldslib.Field.t_with_perm ->
      'a1 ) ->
  'b1 list

module Direct : sig ... end