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