val fold :
init:'acc__0->values:( 'acc__0->( t, int list )Fieldslib.Field.t->'acc__1 )->intervals:
( 'acc__1->( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->'acc__2 )->underflow:( 'acc__2->( t, int )Fieldslib.Field.t->'acc__3 )->overflow:( 'acc__3->( t, int )Fieldslib.Field.t->'acc__4 )->'acc__4
val make_creator :
values:
( ( t, int list )Fieldslib.Field.t->'acc__0->( 'input__->int list ) * 'acc__1 )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->'acc__1->( 'input__->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )
* 'acc__2 )->underflow:
( ( t, int )Fieldslib.Field.t->'acc__2->( 'input__-> int ) * 'acc__3 )->overflow:
( ( t, int )Fieldslib.Field.t->'acc__3->( 'input__-> int ) * 'acc__4 )->'acc__0->( 'input__->t ) * 'acc__4
val create :
values:int list->intervals:(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list->underflow:int ->overflow:int ->t
val map :
values:( ( t, int list )Fieldslib.Field.t->int list )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->(Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )->underflow:( ( t, int )Fieldslib.Field.t-> int )->overflow:( ( t, int )Fieldslib.Field.t-> int )->t
val iter :
values:( ( t, int list )Fieldslib.Field.t-> unit )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->
unit )->underflow:( ( t, int )Fieldslib.Field.t-> unit )->overflow:( ( t, int )Fieldslib.Field.t-> unit )->
unit
val for_all :
values:( ( t, int list )Fieldslib.Field.t-> bool )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->
bool )->underflow:( ( t, int )Fieldslib.Field.t-> bool )->overflow:( ( t, int )Fieldslib.Field.t-> bool )->
bool
val exists :
values:( ( t, int list )Fieldslib.Field.t-> bool )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->
bool )->underflow:( ( t, int )Fieldslib.Field.t-> bool )->overflow:( ( t, int )Fieldslib.Field.t-> bool )->
bool
val to_list :
values:( ( t, int list )Fieldslib.Field.t->'elem__ )->intervals:
( ( t, (Core_kernel.Time.Span.t * Core_kernel.Time.Span.t) list )Fieldslib.Field.t->'elem__ )->underflow:( ( t, int )Fieldslib.Field.t->'elem__ )->overflow:( ( t, int )Fieldslib.Field.t->'elem__ )->'elem__ list
val map_poly :
( [< `Read | `Set_and_create ], t, 'x0 )Fieldslib.Field.user->'x0 list