Module Core_kernel.Gc.Stat.Fields.Direct
val iter : t ‑> minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.unit) ‑> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.unit) ‑> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.unit) ‑> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> Core_kernel__.Import.unit
val fold : t ‑> init:'acc__0 ‑> minor_words:('acc__0 ‑> (t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> 'acc__1) ‑> promoted_words:('acc__1 ‑> (t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> 'acc__2) ‑> major_words:('acc__2 ‑> (t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> 'acc__3) ‑> minor_collections:('acc__3 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__4) ‑> major_collections:('acc__4 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__5) ‑> heap_words:('acc__5 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__6) ‑> heap_chunks:('acc__6 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__7) ‑> live_words:('acc__7 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__8) ‑> live_blocks:('acc__8 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__9) ‑> free_words:('acc__9 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__10) ‑> free_blocks:('acc__10 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__11) ‑> largest_free:('acc__11 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__12) ‑> fragments:('acc__12 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__13) ‑> compactions:('acc__13 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__14) ‑> top_heap_words:('acc__14 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__15) ‑> stack_size:('acc__15 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__16) ‑> 'acc__16
val for_all : t ‑> minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.bool) ‑> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.bool) ‑> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.bool) ‑> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.bool
val exists : t ‑> minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.bool) ‑> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.bool) ‑> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.bool) ‑> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.bool
val to_list : t ‑> minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> 'elem__) ‑> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> 'elem__) ‑> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> 'elem__) ‑> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> 'elem__ Core_kernel__.Import.list
val map : t ‑> minor_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.float) ‑> promoted_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.float) ‑> major_words:((t, Core_kernel__.Import.float) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.float ‑> Core_kernel__.Import.float) ‑> minor_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> major_collections:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> heap_chunks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> live_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> live_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> free_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> free_blocks:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> largest_free:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> fragments:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> compactions:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> top_heap_words:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> stack_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> t