sig
  type t = {
    mem_total : Core.Std.Int63.t;
    mem_free : Core.Std.Int63.t;
    buffers : Core.Std.Int63.t;
    cached : Core.Std.Int63.t;
    swap_cached : Core.Std.Int63.t;
    active : Core.Std.Int63.t;
    inactive : Core.Std.Int63.t;
    swap_total : Core.Std.Int63.t;
    swap_free : Core.Std.Int63.t;
    dirty : Core.Std.Int63.t;
    writeback : Core.Std.Int63.t;
    anon_pages : Core.Std.Int63.t;
    mapped : Core.Std.Int63.t;
    slab : Core.Std.Int63.t;
    page_tables : Core.Std.Int63.t;
    nfs_unstable : Core.Std.Int63.t;
    bounce : Core.Std.Int63.t;
    commit_limit : Core.Std.Int63.t;
    committed_as : Core.Std.Int63.t;
    vmalloc_total : Core.Std.Int63.t;
    vmalloc_used : Core.Std.Int63.t;
    vmalloc_chunk : Core.Std.Int63.t;
  }
  val vmalloc_chunk : Procfs.Meminfo.t -> Core.Std.Int63.t
  val vmalloc_used : Procfs.Meminfo.t -> Core.Std.Int63.t
  val vmalloc_total : Procfs.Meminfo.t -> Core.Std.Int63.t
  val committed_as : Procfs.Meminfo.t -> Core.Std.Int63.t
  val commit_limit : Procfs.Meminfo.t -> Core.Std.Int63.t
  val bounce : Procfs.Meminfo.t -> Core.Std.Int63.t
  val nfs_unstable : Procfs.Meminfo.t -> Core.Std.Int63.t
  val page_tables : Procfs.Meminfo.t -> Core.Std.Int63.t
  val slab : Procfs.Meminfo.t -> Core.Std.Int63.t
  val mapped : Procfs.Meminfo.t -> Core.Std.Int63.t
  val anon_pages : Procfs.Meminfo.t -> Core.Std.Int63.t
  val writeback : Procfs.Meminfo.t -> Core.Std.Int63.t
  val dirty : Procfs.Meminfo.t -> Core.Std.Int63.t
  val swap_free : Procfs.Meminfo.t -> Core.Std.Int63.t
  val swap_total : Procfs.Meminfo.t -> Core.Std.Int63.t
  val inactive : Procfs.Meminfo.t -> Core.Std.Int63.t
  val active : Procfs.Meminfo.t -> Core.Std.Int63.t
  val swap_cached : Procfs.Meminfo.t -> Core.Std.Int63.t
  val cached : Procfs.Meminfo.t -> Core.Std.Int63.t
  val buffers : Procfs.Meminfo.t -> Core.Std.Int63.t
  val mem_free : Procfs.Meminfo.t -> Core.Std.Int63.t
  val mem_total : Procfs.Meminfo.t -> Core.Std.Int63.t
  module Fields :
    sig
      val names : string list
      val vmalloc_chunk :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val vmalloc_used :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val vmalloc_total :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val committed_as :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val commit_limit :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val bounce : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val nfs_unstable :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val page_tables :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val slab : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val mapped : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val anon_pages : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val writeback : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val dirty : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val swap_free : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val swap_total : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val inactive : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val active : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val swap_cached :
        (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val cached : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val buffers : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val mem_free : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val mem_total : (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t
      val fold :
        init:'acc__ ->
        mem_total:('acc__ ->
                   (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'acc__) ->
        mem_free:('acc__ ->
                  (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  'acc__) ->
        buffers:('acc__ ->
                 (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 'acc__) ->
        cached:('acc__ ->
                (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'acc__) ->
        swap_cached:('acc__ ->
                     (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     'acc__) ->
        active:('acc__ ->
                (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'acc__) ->
        inactive:('acc__ ->
                  (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  'acc__) ->
        swap_total:('acc__ ->
                    (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    'acc__) ->
        swap_free:('acc__ ->
                   (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'acc__) ->
        dirty:('acc__ ->
               (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
               'acc__) ->
        writeback:('acc__ ->
                   (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'acc__) ->
        anon_pages:('acc__ ->
                    (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    'acc__) ->
        mapped:('acc__ ->
                (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'acc__) ->
        slab:('acc__ ->
              (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
              'acc__) ->
        page_tables:('acc__ ->
                     (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     'acc__) ->
        nfs_unstable:('acc__ ->
                      (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'acc__) ->
        bounce:('acc__ ->
                (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'acc__) ->
        commit_limit:('acc__ ->
                      (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'acc__) ->
        committed_as:('acc__ ->
                      (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'acc__) ->
        vmalloc_total:('acc__ ->
                       (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       'acc__) ->
        vmalloc_used:('acc__ ->
                      (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'acc__) ->
        vmalloc_chunk:('acc__ ->
                       (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       'acc__) ->
        'acc__
      val make_creator :
        mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'compile_acc__ ->
                   ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  'compile_acc__ ->
                  ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 'compile_acc__ ->
                 ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'compile_acc__ ->
                ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     'compile_acc__ ->
                     ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'compile_acc__ ->
                ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  'compile_acc__ ->
                  ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    'compile_acc__ ->
                    ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'compile_acc__ ->
                   ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
               'compile_acc__ ->
               ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'compile_acc__ ->
                   ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    'compile_acc__ ->
                    ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'compile_acc__ ->
                ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
              'compile_acc__ ->
              ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     'compile_acc__ ->
                     ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'compile_acc__ ->
                      ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'compile_acc__ ->
                ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'compile_acc__ ->
                      ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'compile_acc__ ->
                      ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       'compile_acc__ ->
                       ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'compile_acc__ ->
                      ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       'compile_acc__ ->
                       ('input__ -> Core.Std.Int63.t) * 'compile_acc__) ->
        'compile_acc__ -> ('input__ -> Procfs.Meminfo.t) * 'compile_acc__
      val create :
        mem_total:Core.Std.Int63.t ->
        mem_free:Core.Std.Int63.t ->
        buffers:Core.Std.Int63.t ->
        cached:Core.Std.Int63.t ->
        swap_cached:Core.Std.Int63.t ->
        active:Core.Std.Int63.t ->
        inactive:Core.Std.Int63.t ->
        swap_total:Core.Std.Int63.t ->
        swap_free:Core.Std.Int63.t ->
        dirty:Core.Std.Int63.t ->
        writeback:Core.Std.Int63.t ->
        anon_pages:Core.Std.Int63.t ->
        mapped:Core.Std.Int63.t ->
        slab:Core.Std.Int63.t ->
        page_tables:Core.Std.Int63.t ->
        nfs_unstable:Core.Std.Int63.t ->
        bounce:Core.Std.Int63.t ->
        commit_limit:Core.Std.Int63.t ->
        committed_as:Core.Std.Int63.t ->
        vmalloc_total:Core.Std.Int63.t ->
        vmalloc_used:Core.Std.Int63.t ->
        vmalloc_chunk:Core.Std.Int63.t -> Procfs.Meminfo.t
      val iter :
        mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   unit) ->
        mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  unit) ->
        buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 unit) ->
        cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                unit) ->
        swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     unit) ->
        active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                unit) ->
        inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  unit) ->
        swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    unit) ->
        swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   unit) ->
        dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t -> unit) ->
        writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   unit) ->
        anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    unit) ->
        mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                unit) ->
        slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t -> unit) ->
        page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     unit) ->
        nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      unit) ->
        bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                unit) ->
        commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      unit) ->
        committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      unit) ->
        vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       unit) ->
        vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      unit) ->
        vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       unit) ->
        unit
      val map :
        mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   Core.Std.Int63.t) ->
        mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  Core.Std.Int63.t) ->
        buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 Core.Std.Int63.t) ->
        cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                Core.Std.Int63.t) ->
        swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     Core.Std.Int63.t) ->
        active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                Core.Std.Int63.t) ->
        inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  Core.Std.Int63.t) ->
        swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Core.Std.Int63.t) ->
        swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   Core.Std.Int63.t) ->
        dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
               Core.Std.Int63.t) ->
        writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   Core.Std.Int63.t) ->
        anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Core.Std.Int63.t) ->
        mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                Core.Std.Int63.t) ->
        slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
              Core.Std.Int63.t) ->
        page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     Core.Std.Int63.t) ->
        nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Core.Std.Int63.t) ->
        bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                Core.Std.Int63.t) ->
        commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Core.Std.Int63.t) ->
        committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Core.Std.Int63.t) ->
        vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Core.Std.Int63.t) ->
        vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Core.Std.Int63.t) ->
        vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Core.Std.Int63.t) ->
        Procfs.Meminfo.t
      val map_poly : (Procfs.Meminfo.t, 'x0) Fieldslib.Field.user -> 'x0 list
      val for_all :
        mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   bool) ->
        mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  bool) ->
        buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 bool) ->
        cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     bool) ->
        active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  bool) ->
        swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    bool) ->
        swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   bool) ->
        dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t -> bool) ->
        writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   bool) ->
        anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    bool) ->
        mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t -> bool) ->
        page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     bool) ->
        nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       bool) ->
        vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       bool) ->
        bool
      val exists :
        mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   bool) ->
        mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  bool) ->
        buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 bool) ->
        cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     bool) ->
        active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  bool) ->
        swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    bool) ->
        swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   bool) ->
        dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t -> bool) ->
        writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   bool) ->
        anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    bool) ->
        mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t -> bool) ->
        page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     bool) ->
        nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                bool) ->
        commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       bool) ->
        vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      bool) ->
        vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       bool) ->
        bool
      val to_list :
        mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'elem__) ->
        mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  'elem__) ->
        buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                 'elem__) ->
        cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'elem__) ->
        swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     'elem__) ->
        active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'elem__) ->
        inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  'elem__) ->
        swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    'elem__) ->
        swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'elem__) ->
        dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
               'elem__) ->
        writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   'elem__) ->
        anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    'elem__) ->
        mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'elem__) ->
        slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
              'elem__) ->
        page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     'elem__) ->
        nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'elem__) ->
        bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                'elem__) ->
        commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'elem__) ->
        committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'elem__) ->
        vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       'elem__) ->
        vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      'elem__) ->
        vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       'elem__) ->
        'elem__ list
      module Direct :
        sig
          val iter :
            Procfs.Meminfo.t ->
            mem_total:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            mem_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            buffers:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            cached:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            swap_cached:((Procfs.Meminfo.t, Core.Std.Int63.t)
                         Fieldslib.Field.t ->
                         Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            active:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            inactive:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            swap_total:((Procfs.Meminfo.t, Core.Std.Int63.t)
                        Fieldslib.Field.t ->
                        Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            swap_free:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            dirty:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            writeback:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            anon_pages:((Procfs.Meminfo.t, Core.Std.Int63.t)
                        Fieldslib.Field.t ->
                        Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            mapped:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            slab:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            page_tables:((Procfs.Meminfo.t, Core.Std.Int63.t)
                         Fieldslib.Field.t ->
                         Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            nfs_unstable:((Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            bounce:((Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            commit_limit:((Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            committed_as:((Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            vmalloc_total:((Procfs.Meminfo.t, Core.Std.Int63.t)
                           Fieldslib.Field.t ->
                           Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            vmalloc_used:((Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            vmalloc_chunk:((Procfs.Meminfo.t, Core.Std.Int63.t)
                           Fieldslib.Field.t ->
                           Procfs.Meminfo.t -> Core.Std.Int63.t -> unit) ->
            unit
          val fold :
            Procfs.Meminfo.t ->
            init:'acc__ ->
            mem_total:('acc__ ->
                       (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            mem_free:('acc__ ->
                      (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            buffers:('acc__ ->
                     (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                     Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            cached:('acc__ ->
                    (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            swap_cached:('acc__ ->
                         (Procfs.Meminfo.t, Core.Std.Int63.t)
                         Fieldslib.Field.t ->
                         Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            active:('acc__ ->
                    (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            inactive:('acc__ ->
                      (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                      Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            swap_total:('acc__ ->
                        (Procfs.Meminfo.t, Core.Std.Int63.t)
                        Fieldslib.Field.t ->
                        Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            swap_free:('acc__ ->
                       (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            dirty:('acc__ ->
                   (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                   Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            writeback:('acc__ ->
                       (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                       Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            anon_pages:('acc__ ->
                        (Procfs.Meminfo.t, Core.Std.Int63.t)
                        Fieldslib.Field.t ->
                        Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            mapped:('acc__ ->
                    (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            slab:('acc__ ->
                  (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                  Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            page_tables:('acc__ ->
                         (Procfs.Meminfo.t, Core.Std.Int63.t)
                         Fieldslib.Field.t ->
                         Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            nfs_unstable:('acc__ ->
                          (Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            bounce:('acc__ ->
                    (Procfs.Meminfo.t, Core.Std.Int63.t) Fieldslib.Field.t ->
                    Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            commit_limit:('acc__ ->
                          (Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            committed_as:('acc__ ->
                          (Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            vmalloc_total:('acc__ ->
                           (Procfs.Meminfo.t, Core.Std.Int63.t)
                           Fieldslib.Field.t ->
                           Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            vmalloc_used:('acc__ ->
                          (Procfs.Meminfo.t, Core.Std.Int63.t)
                          Fieldslib.Field.t ->
                          Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            vmalloc_chunk:('acc__ ->
                           (Procfs.Meminfo.t, Core.Std.Int63.t)
                           Fieldslib.Field.t ->
                           Procfs.Meminfo.t -> Core.Std.Int63.t -> 'acc__) ->
            'acc__
        end
    end
  val t_of_sexp : Sexplib.Sexp.t -> Procfs.Meminfo.t
  val sexp_of_t : Procfs.Meminfo.t -> Sexplib.Sexp.t
end