Gossip_state.Fieldsval snark_work :
( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_permval transactions :
( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_permval blocks :
( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_permval node_id :
( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_permval make_creator :
node_id:
( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
'a ->
( 'b -> string ) * 'c ) ->
blocks:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'd ->
( 'e -> Event_type.Gossip.Block.r Set.t By_direction.t ) * 'f ) ->
transactions:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'g ->
( 'h -> Event_type.Gossip.Transactions.r Set.t By_direction.t ) * 'i ) ->
snark_work:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'j ->
( 'k -> Event_type.Gossip.Snark_work.r Set.t By_direction.t ) * 'l ) ->
'm ->
( 'n -> t ) * 'oval create :
node_id:string ->
blocks:Event_type.Gossip.Block.r Set.t By_direction.t ->
transactions:Event_type.Gossip.Transactions.r Set.t By_direction.t ->
snark_work:Event_type.Gossip.Snark_work.r Set.t By_direction.t ->
tval map :
node_id:
( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
string ) ->
blocks:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
Event_type.Gossip.Block.r Set.t By_direction.t ) ->
transactions:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
Event_type.Gossip.Transactions.r Set.t By_direction.t ) ->
snark_work:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
Event_type.Gossip.Snark_work.r Set.t By_direction.t ) ->
tval iter :
node_id:
( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
unit ) ->
blocks:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
unit ) ->
transactions:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
unit ) ->
snark_work:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
unit ) ->
unitval fold :
init:'a ->
node_id:
( 'b ->
( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
'c ) ->
blocks:
( 'd ->
( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'e ) ->
transactions:
( 'f ->
( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'g ) ->
snark_work:
( 'h ->
( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'i ) ->
'jval map_poly :
( [< `Read | `Set_and_create ], t, 'a ) Fieldslib.Field.user ->
'b listval for_all :
node_id:
( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
bool ) ->
blocks:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
transactions:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
snark_work:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
boolval exists :
node_id:
( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
bool ) ->
blocks:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
transactions:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
snark_work:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
boolval to_list :
node_id:
( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm ->
'a ) ->
blocks:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Block.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'b ) ->
transactions:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Transactions.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'c ) ->
snark_work:
( ( [< `Read | `Set_and_create ],
t,
Event_type.Gossip.Snark_work.r Set.t By_direction.t )
Fieldslib.Field.t_with_perm ->
'd ) ->
'e listmodule Direct : sig ... end