val names : Core_kernel__.Import.string Core_kernel__.Import.listval stack_size : (t, Core_kernel__.Import.int) Fieldslib.Field.tval top_heap_words : (t, Core_kernel__.Import.int) Fieldslib.Field.tval compactions : (t, Core_kernel__.Import.int) Fieldslib.Field.tval fragments : (t, Core_kernel__.Import.int) Fieldslib.Field.tval largest_free : (t, Core_kernel__.Import.int) Fieldslib.Field.tval free_blocks : (t, Core_kernel__.Import.int) Fieldslib.Field.tval free_words : (t, Core_kernel__.Import.int) Fieldslib.Field.tval live_blocks : (t, Core_kernel__.Import.int) Fieldslib.Field.tval live_words : (t, Core_kernel__.Import.int) Fieldslib.Field.tval heap_chunks : (t, Core_kernel__.Import.int) Fieldslib.Field.tval heap_words : (t, Core_kernel__.Import.int) Fieldslib.Field.tval major_collections : (t, Core_kernel__.Import.int) Fieldslib.Field.tval minor_collections : (t, Core_kernel__.Import.int) Fieldslib.Field.tval major_words : (t, Core_kernel__.Import.float) Fieldslib.Field.tval promoted_words : (t, Core_kernel__.Import.float) Fieldslib.Field.tval minor_words : (t, Core_kernel__.Import.float) Fieldslib.Field.tval fold : init:'acc__0 -> minor_words:('acc__0 -> (t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'acc__1) -> promoted_words:('acc__1 -> (t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'acc__2) -> major_words:('acc__2 -> (t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'acc__3) -> minor_collections:('acc__3 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__4) -> major_collections:('acc__4 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__5) -> heap_words:('acc__5 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__6) -> heap_chunks:('acc__6 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__7) -> live_words:('acc__7 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__8) -> live_blocks:('acc__8 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__9) -> free_words:('acc__9 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__10) -> free_blocks:('acc__10 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__11) -> largest_free:('acc__11 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__12) -> fragments:('acc__12 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__13) -> compactions:('acc__13 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__14) -> top_heap_words:('acc__14 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__15) -> stack_size:('acc__15 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__16) -> 'acc__16val make_creator : minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Core_kernel__.Import.float) * 'acc__1) -> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Core_kernel__.Import.float) * 'acc__2) -> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> Core_kernel__.Import.float) * 'acc__3) -> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> Core_kernel__.Import.int) * 'acc__4) -> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> Core_kernel__.Import.int) * 'acc__5) -> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> Core_kernel__.Import.int) * 'acc__6) -> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> Core_kernel__.Import.int) * 'acc__7) -> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> Core_kernel__.Import.int) * 'acc__8) -> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> Core_kernel__.Import.int) * 'acc__9) -> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> Core_kernel__.Import.int) * 'acc__10) -> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> Core_kernel__.Import.int) * 'acc__11) -> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__11 -> ('input__ -> Core_kernel__.Import.int) * 'acc__12) -> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__12 -> ('input__ -> Core_kernel__.Import.int) * 'acc__13) -> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__13 -> ('input__ -> Core_kernel__.Import.int) * 'acc__14) -> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__14 -> ('input__ -> Core_kernel__.Import.int) * 'acc__15) -> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__15 -> ('input__ -> Core_kernel__.Import.int) * 'acc__16) -> 'acc__0 -> ('input__ -> t) * 'acc__16val create : minor_words:Core_kernel__.Import.float -> promoted_words:Core_kernel__.Import.float -> major_words:Core_kernel__.Import.float -> minor_collections:Core_kernel__.Import.int -> major_collections:Core_kernel__.Import.int -> heap_words:Core_kernel__.Import.int -> heap_chunks:Core_kernel__.Import.int -> live_words:Core_kernel__.Import.int -> live_blocks:Core_kernel__.Import.int -> free_words:Core_kernel__.Import.int -> free_blocks:Core_kernel__.Import.int -> largest_free:Core_kernel__.Import.int -> fragments:Core_kernel__.Import.int -> compactions:Core_kernel__.Import.int -> top_heap_words:Core_kernel__.Import.int -> stack_size:Core_kernel__.Import.int -> tval map : minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.float) -> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.float) -> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.float) -> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> tval iter : minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> Core_kernel__.Import.unitval for_all : minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.boolval exists : minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.boolval to_list : minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'elem__) -> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'elem__) -> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t -> 'elem__) -> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> 'elem__ Core_kernel__.Import.listval map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 Core_kernel__.Import.list