Module Fields

val names : string list

val stack_size : (t, int) Fieldslib.Field.t

val top_heap_words : (t, int) Fieldslib.Field.t

val compactions : (t, int) Fieldslib.Field.t

val fragments : (t, int) Fieldslib.Field.t

val largest_free : (t, int) Fieldslib.Field.t

val free_blocks : (t, int) Fieldslib.Field.t

val free_words : (t, int) Fieldslib.Field.t

val live_blocks : (t, int) Fieldslib.Field.t

val live_words : (t, int) Fieldslib.Field.t

val heap_chunks : (t, int) Fieldslib.Field.t

val heap_words : (t, int) Fieldslib.Field.t

val major_collections : (t, int) Fieldslib.Field.t

val minor_collections : (t, int) Fieldslib.Field.t

val major_words : (t, float) Fieldslib.Field.t

val promoted_words : (t, float) Fieldslib.Field.t

val minor_words : (t, float) Fieldslib.Field.t

val fold : init:'acc__0 -> minor_words:('acc__0 -> (t, float) Fieldslib.Field.t -> 'acc__1) -> promoted_words:('acc__1 -> (t, float) Fieldslib.Field.t -> 'acc__2) -> major_words:('acc__2 -> (t, float) Fieldslib.Field.t -> 'acc__3) -> minor_collections:('acc__3 -> (t, int) Fieldslib.Field.t -> 'acc__4) -> major_collections:('acc__4 -> (t, int) Fieldslib.Field.t -> 'acc__5) -> heap_words:('acc__5 -> (t, int) Fieldslib.Field.t -> 'acc__6) -> heap_chunks:('acc__6 -> (t, int) Fieldslib.Field.t -> 'acc__7) -> live_words:('acc__7 -> (t, int) Fieldslib.Field.t -> 'acc__8) -> live_blocks:('acc__8 -> (t, int) Fieldslib.Field.t -> 'acc__9) -> free_words:('acc__9 -> (t, int) Fieldslib.Field.t -> 'acc__10) -> free_blocks:('acc__10 -> (t, int) Fieldslib.Field.t -> 'acc__11) -> largest_free:('acc__11 -> (t, int) Fieldslib.Field.t -> 'acc__12) -> fragments:('acc__12 -> (t, int) Fieldslib.Field.t -> 'acc__13) -> compactions:('acc__13 -> (t, int) Fieldslib.Field.t -> 'acc__14) -> top_heap_words:('acc__14 -> (t, int) Fieldslib.Field.t -> 'acc__15) -> stack_size:('acc__15 -> (t, int) Fieldslib.Field.t -> 'acc__16) -> 'acc__16

val make_creator : minor_words:((t, float) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> float) * 'acc__1) -> promoted_words:((t, float) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> float) * 'acc__2) -> major_words:((t, float) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> float) * 'acc__3) -> minor_collections:((t, int) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> int) * 'acc__4) -> major_collections:((t, int) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> int) * 'acc__5) -> heap_words:((t, int) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> int) * 'acc__6) -> heap_chunks:((t, int) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> int) * 'acc__7) -> live_words:((t, int) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> int) * 'acc__8) -> live_blocks:((t, int) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> int) * 'acc__9) -> free_words:((t, int) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> int) * 'acc__10) -> free_blocks:((t, int) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> int) * 'acc__11) -> largest_free:((t, int) Fieldslib.Field.t -> 'acc__11 -> ('input__ -> int) * 'acc__12) -> fragments:((t, int) Fieldslib.Field.t -> 'acc__12 -> ('input__ -> int) * 'acc__13) -> compactions:((t, int) Fieldslib.Field.t -> 'acc__13 -> ('input__ -> int) * 'acc__14) -> top_heap_words:((t, int) Fieldslib.Field.t -> 'acc__14 -> ('input__ -> int) * 'acc__15) -> stack_size:((t, int) Fieldslib.Field.t -> 'acc__15 -> ('input__ -> int) * 'acc__16) -> 'acc__0 -> ('input__ -> t) * 'acc__16

val create : minor_words:float -> promoted_words:float -> major_words:float -> minor_collections:int -> major_collections:int -> heap_words:int -> heap_chunks:int -> live_words:int -> live_blocks:int -> free_words:int -> free_blocks:int -> largest_free:int -> fragments:int -> compactions:int -> top_heap_words:int -> stack_size:int -> t

val map : minor_words:((t, float) Fieldslib.Field.t -> float) -> promoted_words:((t, float) Fieldslib.Field.t -> float) -> major_words:((t, float) Fieldslib.Field.t -> float) -> minor_collections:((t, int) Fieldslib.Field.t -> int) -> major_collections:((t, int) Fieldslib.Field.t -> int) -> heap_words:((t, int) Fieldslib.Field.t -> int) -> heap_chunks:((t, int) Fieldslib.Field.t -> int) -> live_words:((t, int) Fieldslib.Field.t -> int) -> live_blocks:((t, int) Fieldslib.Field.t -> int) -> free_words:((t, int) Fieldslib.Field.t -> int) -> free_blocks:((t, int) Fieldslib.Field.t -> int) -> largest_free:((t, int) Fieldslib.Field.t -> int) -> fragments:((t, int) Fieldslib.Field.t -> int) -> compactions:((t, int) Fieldslib.Field.t -> int) -> top_heap_words:((t, int) Fieldslib.Field.t -> int) -> stack_size:((t, int) Fieldslib.Field.t -> int) -> t

val iter : minor_words:((t, float) Fieldslib.Field.t -> unit) -> promoted_words:((t, float) Fieldslib.Field.t -> unit) -> major_words:((t, float) Fieldslib.Field.t -> unit) -> minor_collections:((t, int) Fieldslib.Field.t -> unit) -> major_collections:((t, int) Fieldslib.Field.t -> unit) -> heap_words:((t, int) Fieldslib.Field.t -> unit) -> heap_chunks:((t, int) Fieldslib.Field.t -> unit) -> live_words:((t, int) Fieldslib.Field.t -> unit) -> live_blocks:((t, int) Fieldslib.Field.t -> unit) -> free_words:((t, int) Fieldslib.Field.t -> unit) -> free_blocks:((t, int) Fieldslib.Field.t -> unit) -> largest_free:((t, int) Fieldslib.Field.t -> unit) -> fragments:((t, int) Fieldslib.Field.t -> unit) -> compactions:((t, int) Fieldslib.Field.t -> unit) -> top_heap_words:((t, int) Fieldslib.Field.t -> unit) -> stack_size:((t, int) Fieldslib.Field.t -> unit) -> unit

val for_all : minor_words:((t, float) Fieldslib.Field.t -> bool) -> promoted_words:((t, float) Fieldslib.Field.t -> bool) -> major_words:((t, float) Fieldslib.Field.t -> bool) -> minor_collections:((t, int) Fieldslib.Field.t -> bool) -> major_collections:((t, int) Fieldslib.Field.t -> bool) -> heap_words:((t, int) Fieldslib.Field.t -> bool) -> heap_chunks:((t, int) Fieldslib.Field.t -> bool) -> live_words:((t, int) Fieldslib.Field.t -> bool) -> live_blocks:((t, int) Fieldslib.Field.t -> bool) -> free_words:((t, int) Fieldslib.Field.t -> bool) -> free_blocks:((t, int) Fieldslib.Field.t -> bool) -> largest_free:((t, int) Fieldslib.Field.t -> bool) -> fragments:((t, int) Fieldslib.Field.t -> bool) -> compactions:((t, int) Fieldslib.Field.t -> bool) -> top_heap_words:((t, int) Fieldslib.Field.t -> bool) -> stack_size:((t, int) Fieldslib.Field.t -> bool) -> bool

val exists : minor_words:((t, float) Fieldslib.Field.t -> bool) -> promoted_words:((t, float) Fieldslib.Field.t -> bool) -> major_words:((t, float) Fieldslib.Field.t -> bool) -> minor_collections:((t, int) Fieldslib.Field.t -> bool) -> major_collections:((t, int) Fieldslib.Field.t -> bool) -> heap_words:((t, int) Fieldslib.Field.t -> bool) -> heap_chunks:((t, int) Fieldslib.Field.t -> bool) -> live_words:((t, int) Fieldslib.Field.t -> bool) -> live_blocks:((t, int) Fieldslib.Field.t -> bool) -> free_words:((t, int) Fieldslib.Field.t -> bool) -> free_blocks:((t, int) Fieldslib.Field.t -> bool) -> largest_free:((t, int) Fieldslib.Field.t -> bool) -> fragments:((t, int) Fieldslib.Field.t -> bool) -> compactions:((t, int) Fieldslib.Field.t -> bool) -> top_heap_words:((t, int) Fieldslib.Field.t -> bool) -> stack_size:((t, int) Fieldslib.Field.t -> bool) -> bool

val to_list : minor_words:((t, float) Fieldslib.Field.t -> 'elem__) -> promoted_words:((t, float) Fieldslib.Field.t -> 'elem__) -> major_words:((t, float) Fieldslib.Field.t -> 'elem__) -> minor_collections:((t, int) Fieldslib.Field.t -> 'elem__) -> major_collections:((t, int) Fieldslib.Field.t -> 'elem__) -> heap_words:((t, int) Fieldslib.Field.t -> 'elem__) -> heap_chunks:((t, int) Fieldslib.Field.t -> 'elem__) -> live_words:((t, int) Fieldslib.Field.t -> 'elem__) -> live_blocks:((t, int) Fieldslib.Field.t -> 'elem__) -> free_words:((t, int) Fieldslib.Field.t -> 'elem__) -> free_blocks:((t, int) Fieldslib.Field.t -> 'elem__) -> largest_free:((t, int) Fieldslib.Field.t -> 'elem__) -> fragments:((t, int) Fieldslib.Field.t -> 'elem__) -> compactions:((t, int) Fieldslib.Field.t -> 'elem__) -> top_heap_words:((t, int) Fieldslib.Field.t -> 'elem__) -> stack_size:((t, int) Fieldslib.Field.t -> 'elem__) -> 'elem__ list

val map_poly : ([< ], t, 'x0) Fieldslib.Field.user -> 'x0 list