Module Fields

val names : string list

val vmalloc_chunk : (t, bigint) Fieldslib.Field.t

val vmalloc_used : (t, bigint) Fieldslib.Field.t

val vmalloc_total : (t, bigint) Fieldslib.Field.t

val committed_as : (t, bigint) Fieldslib.Field.t

val commit_limit : (t, bigint) Fieldslib.Field.t

val bounce : (t, bigint) Fieldslib.Field.t

val nfs_unstable : (t, bigint) Fieldslib.Field.t

val page_tables : (t, bigint) Fieldslib.Field.t

val slab : (t, bigint) Fieldslib.Field.t

val mapped : (t, bigint) Fieldslib.Field.t

val anon_pages : (t, bigint) Fieldslib.Field.t

val writeback : (t, bigint) Fieldslib.Field.t

val dirty : (t, bigint) Fieldslib.Field.t

val swap_free : (t, bigint) Fieldslib.Field.t

val swap_total : (t, bigint) Fieldslib.Field.t

val inactive : (t, bigint) Fieldslib.Field.t

val active : (t, bigint) Fieldslib.Field.t

val swap_cached : (t, bigint) Fieldslib.Field.t

val cached : (t, bigint) Fieldslib.Field.t

val buffers : (t, bigint) Fieldslib.Field.t

val mem_free : (t, bigint) Fieldslib.Field.t

val mem_total : (t, bigint) Fieldslib.Field.t

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

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

val create : mem_total:bigint -> mem_free:bigint -> buffers:bigint -> cached:bigint -> swap_cached:bigint -> active:bigint -> inactive:bigint -> swap_total:bigint -> swap_free:bigint -> dirty:bigint -> writeback:bigint -> anon_pages:bigint -> mapped:bigint -> slab:bigint -> page_tables:bigint -> nfs_unstable:bigint -> bounce:bigint -> commit_limit:bigint -> committed_as:bigint -> vmalloc_total:bigint -> vmalloc_used:bigint -> vmalloc_chunk:bigint -> t

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

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

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

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

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

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