val iter :
t->values:( ( t, int list )Fieldslib.Field.t->t->int list-> unit )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->
unit )->underflow:( ( t, int )Fieldslib.Field.t->t->int -> unit )->overflow:( ( t, int )Fieldslib.Field.t->t->int -> unit )->
unit
val fold :
t->init:'acc__0->values:
( 'acc__0->( t, int list )Fieldslib.Field.t->t->int list->'acc__1 )->intervals:
( 'acc__1->( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->'acc__2 )->underflow:( 'acc__2->( t, int )Fieldslib.Field.t->t->int ->'acc__3 )->overflow:( 'acc__3->( t, int )Fieldslib.Field.t->t->int ->'acc__4 )->'acc__4
val for_all :
t->values:( ( t, int list )Fieldslib.Field.t->t->int list-> bool )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->
bool )->underflow:( ( t, int )Fieldslib.Field.t->t->int -> bool )->overflow:( ( t, int )Fieldslib.Field.t->t->int -> bool )->
bool
val exists :
t->values:( ( t, int list )Fieldslib.Field.t->t->int list-> bool )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->
bool )->underflow:( ( t, int )Fieldslib.Field.t->t->int -> bool )->overflow:( ( t, int )Fieldslib.Field.t->t->int -> bool )->
bool
val to_list :
t->values:( ( t, int list )Fieldslib.Field.t->t->int list->'elem__ )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->'elem__ )->underflow:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->overflow:( ( t, int )Fieldslib.Field.t->t->int ->'elem__ )->'elem__ list
val map :
t->values:( ( t, int list )Fieldslib.Field.t->t->int list->int list )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )->underflow:( ( t, int )Fieldslib.Field.t->t->int -> int )->overflow:( ( t, int )Fieldslib.Field.t->t->int -> int )->t