Module Direct

val iter : t -> mem_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> mem_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> buffers:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> swap_cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> active:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> inactive:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> swap_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> swap_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> dirty:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> writeback:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> anon_pages:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> mapped:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> slab:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> page_tables:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> bounce:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> commit_limit:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> committed_as:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> unit

val fold : t -> init:'acc__0 -> mem_total:('acc__0 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__1) -> mem_free:('acc__1 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__2) -> buffers:('acc__2 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__3) -> cached:('acc__3 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__4) -> swap_cached:('acc__4 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__5) -> active:('acc__5 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__6) -> inactive:('acc__6 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__7) -> swap_total:('acc__7 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__8) -> swap_free:('acc__8 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__9) -> dirty:('acc__9 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__10) -> writeback:('acc__10 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__11) -> anon_pages:('acc__11 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__12) -> mapped:('acc__12 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__13) -> slab:('acc__13 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__14) -> page_tables:('acc__14 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__15) -> nfs_unstable:('acc__15 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__16) -> bounce:('acc__16 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__17) -> commit_limit:('acc__17 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__18) -> committed_as:('acc__18 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__19) -> vmalloc_total:('acc__19 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__20) -> vmalloc_used:('acc__20 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__21) -> vmalloc_chunk:('acc__21 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__22) -> 'acc__22

val for_all : t -> mem_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> mem_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> buffers:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> swap_cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> active:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> inactive:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> swap_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> swap_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> dirty:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> writeback:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> anon_pages:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> mapped:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> slab:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> page_tables:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> bounce:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> commit_limit:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> committed_as:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> bool

val exists : t -> mem_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> mem_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> buffers:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> swap_cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> active:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> inactive:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> swap_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> swap_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> dirty:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> writeback:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> anon_pages:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> mapped:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> slab:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> page_tables:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> bounce:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> commit_limit:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> committed_as:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> bool

val to_list : t -> mem_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> mem_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> buffers:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> swap_cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> active:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> inactive:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> swap_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> swap_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> dirty:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> writeback:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> anon_pages:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> mapped:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> slab:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> page_tables:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> bounce:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> commit_limit:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> committed_as:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> 'elem__ list

val map : t -> mem_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> mem_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> buffers:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> swap_cached:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> active:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> inactive:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> swap_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> swap_free:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> dirty:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> writeback:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> anon_pages:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> mapped:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> slab:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> page_tables:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> nfs_unstable:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> bounce:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> commit_limit:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> committed_as:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> vmalloc_total:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> vmalloc_used:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> vmalloc_chunk:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> t

val set_all_mutable_fields : t -> unit