sig
  type t = { one : float; ten : float; fifteen : float; }
  val fifteen : Procfs.Loadavg.t -> float
  val ten : Procfs.Loadavg.t -> float
  val one : Procfs.Loadavg.t -> float
  module Fields :
    sig
      val names : string list
      val fifteen : (Procfs.Loadavg.t, float) Fieldslib.Field.t
      val ten : (Procfs.Loadavg.t, float) Fieldslib.Field.t
      val one : (Procfs.Loadavg.t, float) Fieldslib.Field.t
      val fold :
        init:'acc__ ->
        one:('acc__ -> (Procfs.Loadavg.t, float) Fieldslib.Field.t -> 'acc__) ->
        ten:('acc__ -> (Procfs.Loadavg.t, float) Fieldslib.Field.t -> 'acc__) ->
        fifteen:('acc__ ->
                 (Procfs.Loadavg.t, float) Fieldslib.Field.t -> 'acc__) ->
        'acc__
      val make_creator :
        one:((Procfs.Loadavg.t, float) Fieldslib.Field.t ->
             'compile_acc__ -> ('input__ -> float) * 'compile_acc__) ->
        ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t ->
             'compile_acc__ -> ('input__ -> float) * 'compile_acc__) ->
        fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                 'compile_acc__ -> ('input__ -> float) * 'compile_acc__) ->
        'compile_acc__ -> ('input__ -> Procfs.Loadavg.t) * 'compile_acc__
      val create :
        one:float -> ten:float -> fifteen:float -> Procfs.Loadavg.t
      val map :
        one:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> float) ->
        ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> float) ->
        fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> float) ->
        Procfs.Loadavg.t
      val iter :
        one:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> unit) ->
        ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> unit) ->
        fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> unit) -> unit
      val for_all :
        one:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> bool) ->
        ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> bool) ->
        fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> bool) -> bool
      val exists :
        one:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> bool) ->
        ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> bool) ->
        fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> bool) -> bool
      val to_list :
        one:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> 'elem__) ->
        ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> 'elem__) ->
        fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t -> 'elem__) ->
        'elem__ list
      val map_poly :
        ([< `Read | `Set_and_create ], Procfs.Loadavg.t, 'x0)
        Fieldslib.Field.user -> 'x0 list
      module Direct :
        sig
          val iter :
            Procfs.Loadavg.t ->
            one:((Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                 Procfs.Loadavg.t -> float -> unit) ->
            ten:((Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                 Procfs.Loadavg.t -> float -> unit) ->
            fifteen:((Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                     Procfs.Loadavg.t -> float -> unit) ->
            unit
          val fold :
            Procfs.Loadavg.t ->
            init:'acc__ ->
            one:('acc__ ->
                 (Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                 Procfs.Loadavg.t -> float -> 'acc__) ->
            ten:('acc__ ->
                 (Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                 Procfs.Loadavg.t -> float -> 'acc__) ->
            fifteen:('acc__ ->
                     (Procfs.Loadavg.t, float) Fieldslib.Field.t ->
                     Procfs.Loadavg.t -> float -> 'acc__) ->
            'acc__
        end
    end
end