val fold :
init:'acc__0->delta:( 'acc__0->( t, int )Fieldslib.Field.t->'acc__1 )->k:( 'acc__1->( t, int )Fieldslib.Field.t->'acc__2 )->slots_per_epoch:( 'acc__2->( t, int )Fieldslib.Field.t->'acc__3 )->slot_duration:( 'acc__3->( t, int )Fieldslib.Field.t->'acc__4 )->epoch_duration:( 'acc__4->( t, int )Fieldslib.Field.t->'acc__5 )->genesis_state_timestamp:
( 'acc__5->( t, Block_time.t )Fieldslib.Field.t->'acc__6 )->acceptable_network_delay:
( 'acc__6->( t, int )Fieldslib.Field.t->'acc__7 )->'acc__7
val make_creator :
delta:
( ( t, int )Fieldslib.Field.t->'acc__0->( 'input__-> int ) * 'acc__1 )->k:
( ( t, int )Fieldslib.Field.t->'acc__1->( 'input__-> int ) * 'acc__2 )->slots_per_epoch:
( ( t, int )Fieldslib.Field.t->'acc__2->( 'input__-> int ) * 'acc__3 )->slot_duration:
( ( t, int )Fieldslib.Field.t->'acc__3->( 'input__-> int ) * 'acc__4 )->epoch_duration:
( ( t, int )Fieldslib.Field.t->'acc__4->( 'input__-> int ) * 'acc__5 )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->'acc__5->( 'input__->Block_time.t ) * 'acc__6 )->acceptable_network_delay:
( ( t, int )Fieldslib.Field.t->'acc__6->( 'input__-> int ) * 'acc__7 )->'acc__0->( 'input__->t ) * 'acc__7
val create :
delta:int ->k:int ->slots_per_epoch:int ->slot_duration:int ->epoch_duration:int ->genesis_state_timestamp:Block_time.t->acceptable_network_delay:int ->t
val map :
delta:( ( t, int )Fieldslib.Field.t-> int )->k:( ( t, int )Fieldslib.Field.t-> int )->slots_per_epoch:( ( t, int )Fieldslib.Field.t-> int )->slot_duration:( ( t, int )Fieldslib.Field.t-> int )->epoch_duration:( ( t, int )Fieldslib.Field.t-> int )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->Block_time.t )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t-> int )->t
val iter :
delta:( ( t, int )Fieldslib.Field.t-> unit )->k:( ( t, int )Fieldslib.Field.t-> unit )->slots_per_epoch:( ( t, int )Fieldslib.Field.t-> unit )->slot_duration:( ( t, int )Fieldslib.Field.t-> unit )->epoch_duration:( ( t, int )Fieldslib.Field.t-> unit )->genesis_state_timestamp:( ( t, Block_time.t )Fieldslib.Field.t-> unit )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t-> unit )->
unit
val for_all :
delta:( ( t, int )Fieldslib.Field.t-> bool )->k:( ( t, int )Fieldslib.Field.t-> bool )->slots_per_epoch:( ( t, int )Fieldslib.Field.t-> bool )->slot_duration:( ( t, int )Fieldslib.Field.t-> bool )->epoch_duration:( ( t, int )Fieldslib.Field.t-> bool )->genesis_state_timestamp:( ( t, Block_time.t )Fieldslib.Field.t-> bool )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t-> bool )->
bool
val exists :
delta:( ( t, int )Fieldslib.Field.t-> bool )->k:( ( t, int )Fieldslib.Field.t-> bool )->slots_per_epoch:( ( t, int )Fieldslib.Field.t-> bool )->slot_duration:( ( t, int )Fieldslib.Field.t-> bool )->epoch_duration:( ( t, int )Fieldslib.Field.t-> bool )->genesis_state_timestamp:( ( t, Block_time.t )Fieldslib.Field.t-> bool )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t-> bool )->
bool
val to_list :
delta:( ( t, int )Fieldslib.Field.t->'elem__ )->k:( ( t, int )Fieldslib.Field.t->'elem__ )->slots_per_epoch:( ( t, int )Fieldslib.Field.t->'elem__ )->slot_duration:( ( t, int )Fieldslib.Field.t->'elem__ )->epoch_duration:( ( t, int )Fieldslib.Field.t->'elem__ )->genesis_state_timestamp:( ( t, Block_time.t )Fieldslib.Field.t->'elem__ )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t->'elem__ )->'elem__ list
val map_poly :
( [< `Read | `Set_and_create ], t, 'x0 )Fieldslib.Field.user->'x0 list