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 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 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 map_poly : (Procfs.Loadavg.t, 'x0) Fieldslib.Field.user -> 'x0 list
  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
  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