val iter :
t->delta:( ( t, int )Fieldslib.Field.t->t->int -> unit )->k:( ( t, int )Fieldslib.Field.t->t->int -> unit )->slots_per_epoch:( ( t, int )Fieldslib.Field.t->t->int -> unit )->slot_duration:( ( t, int )Fieldslib.Field.t->t->int -> unit )->epoch_duration:( ( t, int )Fieldslib.Field.t->t->int -> unit )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->t->Block_time.t-> unit )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t->t->int -> unit )->
unit
val fold :
t->init:'acc__0->delta:( 'acc__0->( t, int )Fieldslib.Field.t->t->int ->'acc__1 )->k:( 'acc__1->( t, int )Fieldslib.Field.t->t->int ->'acc__2 )->slots_per_epoch:
( 'acc__2->( t, int )Fieldslib.Field.t->t->int ->'acc__3 )->slot_duration:
( 'acc__3->( t, int )Fieldslib.Field.t->t->int ->'acc__4 )->epoch_duration:
( 'acc__4->( t, int )Fieldslib.Field.t->t->int ->'acc__5 )->genesis_state_timestamp:
( 'acc__5->( t, Block_time.t )Fieldslib.Field.t->t->Block_time.t->'acc__6 )->acceptable_network_delay:
( 'acc__6->( t, int )Fieldslib.Field.t->t->int ->'acc__7 )->'acc__7
val for_all :
t->delta:( ( t, int )Fieldslib.Field.t->t->int -> bool )->k:( ( t, int )Fieldslib.Field.t->t->int -> bool )->slots_per_epoch:( ( t, int )Fieldslib.Field.t->t->int -> bool )->slot_duration:( ( t, int )Fieldslib.Field.t->t->int -> bool )->epoch_duration:( ( t, int )Fieldslib.Field.t->t->int -> bool )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->t->Block_time.t-> bool )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t->t->int -> bool )->
bool
val exists :
t->delta:( ( t, int )Fieldslib.Field.t->t->int -> bool )->k:( ( t, int )Fieldslib.Field.t->t->int -> bool )->slots_per_epoch:( ( t, int )Fieldslib.Field.t->t->int -> bool )->slot_duration:( ( t, int )Fieldslib.Field.t->t->int -> bool )->epoch_duration:( ( t, int )Fieldslib.Field.t->t->int -> bool )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->t->Block_time.t-> bool )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t->t->int -> bool )->
bool
val to_list :
t->delta:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->k:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->slots_per_epoch:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->slot_duration:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->epoch_duration:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->t->Block_time.t->'elem__ )->acceptable_network_delay:
( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->'elem__ list
val map :
t->delta:( ( t, int )Fieldslib.Field.t->t->int -> int )->k:( ( t, int )Fieldslib.Field.t->t->int -> int )->slots_per_epoch:( ( t, int )Fieldslib.Field.t->t->int -> int )->slot_duration:( ( t, int )Fieldslib.Field.t->t->int -> int )->epoch_duration:( ( t, int )Fieldslib.Field.t->t->int -> int )->genesis_state_timestamp:
( ( t, Block_time.t )Fieldslib.Field.t->t->Block_time.t->Block_time.t )->acceptable_network_delay:( ( t, int )Fieldslib.Field.t->t->int -> int )->t