Module Fields.Direct

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
val set_all_mutable_fields : t -> unit