sig
  val names : string list
  val rest : (Procfs.Net.Tcp.t, string) Fieldslib.Field.t
  val inode : (Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t
  val timeout : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val uid : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val retrnsmt : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val tm_when : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val tr : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val rx_queue : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val tx_queue : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val state : (Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t
  val remote_port :
    (Procfs.Net.Tcp.t, Unix.Inet_port.t option) Fieldslib.Field.t
  val remote_address :
    (Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t) Fieldslib.Field.t
  val local_port :
    (Procfs.Net.Tcp.t, Unix.Inet_port.t) Fieldslib.Field.t
  val local_address :
    (Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t) Fieldslib.Field.t
  val sl : (Procfs.Net.Tcp.t, int) Fieldslib.Field.t
  val fold :
    init:'acc__ ->
    sl:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    local_address:('acc__ ->
                   (Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t -> 'acc__) ->
    local_port:('acc__ ->
                (Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t -> 'acc__) ->
    remote_address:('acc__ ->
                    (Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t -> 'acc__) ->
    remote_port:('acc__ ->
                 (Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t -> 'acc__) ->
    state:('acc__ ->
           (Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           'acc__) ->
    tx_queue:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    rx_queue:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    tr:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    tm_when:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    retrnsmt:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    uid:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    timeout:('acc__ -> (Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'acc__) ->
    inode:('acc__ ->
           (Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           'acc__) ->
    rest:('acc__ -> (Procfs.Net.Tcp.t, string) Fieldslib.Field.t -> 'acc__) ->
    'acc__
  val make_creator :
    sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
        'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t ->
                   'compile_acc__ ->
                   ('input__ -> Core.Std.Unix.Inet_addr.t) * 'compile_acc__) ->
    local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t ->
                'compile_acc__ ->
                ('input__ -> Unix.Inet_port.t) * 'compile_acc__) ->
    remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t ->
                    'compile_acc__ ->
                    ('input__ -> Core.Std.Unix.Inet_addr.t) * 'compile_acc__) ->
    remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t ->
                 'compile_acc__ ->
                 ('input__ -> Unix.Inet_port.t option) *
                 'compile_acc__) ->
    state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           'compile_acc__ ->
           ('input__ -> Procfs.Net.Tcp_state.t) * 'compile_acc__) ->
    tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
              'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
              'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
        'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
             'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
              'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
         'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
             'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
    inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           'compile_acc__ ->
           ('input__ -> Procfs.Process.Inode.t) * 'compile_acc__) ->
    rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t ->
          'compile_acc__ -> ('input__ -> string) * 'compile_acc__) ->
    'compile_acc__ -> ('input__ -> Procfs.Net.Tcp.t) * 'compile_acc__
  val create :
    sl:int ->
    local_address:Core.Std.Unix.Inet_addr.t ->
    local_port:Unix.Inet_port.t ->
    remote_address:Core.Std.Unix.Inet_addr.t ->
    remote_port:Unix.Inet_port.t option ->
    state:Procfs.Net.Tcp_state.t ->
    tx_queue:int ->
    rx_queue:int ->
    tr:int ->
    tm_when:int ->
    retrnsmt:int ->
    uid:int ->
    timeout:int ->
    inode:Procfs.Process.Inode.t -> rest:string -> Procfs.Net.Tcp.t
  val map :
    sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t -> Core.Std.Unix.Inet_addr.t) ->
    local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t -> Unix.Inet_port.t) ->
    remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t -> Core.Std.Unix.Inet_addr.t) ->
    remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t -> Unix.Inet_port.t option) ->
    state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           Procfs.Net.Tcp_state.t) ->
    tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> int) ->
    inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           Procfs.Process.Inode.t) ->
    rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t -> string) ->
    Procfs.Net.Tcp.t
  val iter :
    sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t -> unit) ->
    local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t -> unit) ->
    remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t -> unit) ->
    remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t -> unit) ->
    state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           unit) ->
    tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> unit) ->
    inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           unit) ->
    rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t -> unit) -> unit
  val for_all :
    sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t -> bool) ->
    local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t -> bool) ->
    remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t -> bool) ->
    remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t -> bool) ->
    state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           bool) ->
    tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           bool) ->
    rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t -> bool) -> bool
  val exists :
    sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t -> bool) ->
    local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t -> bool) ->
    remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t -> bool) ->
    remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t -> bool) ->
    state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           bool) ->
    tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> bool) ->
    inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           bool) ->
    rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t -> bool) -> bool
  val to_list :
    sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                   Fieldslib.Field.t -> 'elem__) ->
    local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                Fieldslib.Field.t -> 'elem__) ->
    remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                    Fieldslib.Field.t -> 'elem__) ->
    remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                 Fieldslib.Field.t -> 'elem__) ->
    state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
           'elem__) ->
    tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t -> 'elem__) ->
    inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
           'elem__) ->
    rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t -> 'elem__) ->
    'elem__ list
  val map_poly :
    ([< `Read | `Set_and_create ], Procfs.Net.Tcp.t, 'x0)
    Fieldslib.Field.user -> 'x0 list
  module Direct :
    sig
      val iter :
        Procfs.Net.Tcp.t ->
        sl:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
            Procfs.Net.Tcp.t -> int -> unit) ->
        local_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                       Fieldslib.Field.t ->
                       Procfs.Net.Tcp.t -> Core.Std.Unix.Inet_addr.t -> unit) ->
        local_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t)
                    Fieldslib.Field.t ->
                    Procfs.Net.Tcp.t -> Unix.Inet_port.t -> unit) ->
        remote_address:((Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                        Fieldslib.Field.t ->
                        Procfs.Net.Tcp.t -> Core.Std.Unix.Inet_addr.t -> unit) ->
        remote_port:((Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                     Fieldslib.Field.t ->
                     Procfs.Net.Tcp.t ->
                     Unix.Inet_port.t option -> unit) ->
        state:((Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
               Procfs.Net.Tcp.t -> Procfs.Net.Tcp_state.t -> unit) ->
        tx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                  Procfs.Net.Tcp.t -> int -> unit) ->
        rx_queue:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                  Procfs.Net.Tcp.t -> int -> unit) ->
        tr:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
            Procfs.Net.Tcp.t -> int -> unit) ->
        tm_when:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                 Procfs.Net.Tcp.t -> int -> unit) ->
        retrnsmt:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                  Procfs.Net.Tcp.t -> int -> unit) ->
        uid:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
             Procfs.Net.Tcp.t -> int -> unit) ->
        timeout:((Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                 Procfs.Net.Tcp.t -> int -> unit) ->
        inode:((Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
               Procfs.Net.Tcp.t -> Procfs.Process.Inode.t -> unit) ->
        rest:((Procfs.Net.Tcp.t, string) Fieldslib.Field.t ->
              Procfs.Net.Tcp.t -> string -> unit) ->
        unit
      val fold :
        Procfs.Net.Tcp.t ->
        init:'acc__ ->
        sl:('acc__ ->
            (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
            Procfs.Net.Tcp.t -> int -> 'acc__) ->
        local_address:('acc__ ->
                       (Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                       Fieldslib.Field.t ->
                       Procfs.Net.Tcp.t ->
                       Core.Std.Unix.Inet_addr.t -> 'acc__) ->
        local_port:('acc__ ->
                    (Procfs.Net.Tcp.t, Unix.Inet_port.t)
                    Fieldslib.Field.t ->
                    Procfs.Net.Tcp.t -> Unix.Inet_port.t -> 'acc__) ->
        remote_address:('acc__ ->
                        (Procfs.Net.Tcp.t, Core.Std.Unix.Inet_addr.t)
                        Fieldslib.Field.t ->
                        Procfs.Net.Tcp.t ->
                        Core.Std.Unix.Inet_addr.t -> 'acc__) ->
        remote_port:('acc__ ->
                     (Procfs.Net.Tcp.t, Unix.Inet_port.t option)
                     Fieldslib.Field.t ->
                     Procfs.Net.Tcp.t ->
                     Unix.Inet_port.t option -> 'acc__) ->
        state:('acc__ ->
               (Procfs.Net.Tcp.t, Procfs.Net.Tcp_state.t) Fieldslib.Field.t ->
               Procfs.Net.Tcp.t -> Procfs.Net.Tcp_state.t -> 'acc__) ->
        tx_queue:('acc__ ->
                  (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                  Procfs.Net.Tcp.t -> int -> 'acc__) ->
        rx_queue:('acc__ ->
                  (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                  Procfs.Net.Tcp.t -> int -> 'acc__) ->
        tr:('acc__ ->
            (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
            Procfs.Net.Tcp.t -> int -> 'acc__) ->
        tm_when:('acc__ ->
                 (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                 Procfs.Net.Tcp.t -> int -> 'acc__) ->
        retrnsmt:('acc__ ->
                  (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                  Procfs.Net.Tcp.t -> int -> 'acc__) ->
        uid:('acc__ ->
             (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
             Procfs.Net.Tcp.t -> int -> 'acc__) ->
        timeout:('acc__ ->
                 (Procfs.Net.Tcp.t, int) Fieldslib.Field.t ->
                 Procfs.Net.Tcp.t -> int -> 'acc__) ->
        inode:('acc__ ->
               (Procfs.Net.Tcp.t, Procfs.Process.Inode.t) Fieldslib.Field.t ->
               Procfs.Net.Tcp.t -> Procfs.Process.Inode.t -> 'acc__) ->
        rest:('acc__ ->
              (Procfs.Net.Tcp.t, string) Fieldslib.Field.t ->
              Procfs.Net.Tcp.t -> string -> 'acc__) ->
        'acc__
    end
end