Ipv4_socket (tcpip.Ipv4

type t = unit

type error = Tcpip.Ip.error

type ipaddr = Ipaddr.V4.t

type callback = src:ipaddr -> dst:ipaddr -> Cstruct.t -> unit Lwt.t

type prefix = Ipaddr.V4.Prefix.t

val pp_error : Tcpip.Ip.error Fmt.t

val pp_ipaddr : Stdlib.Format.formatter -> Ipaddr.V4.t -> unit

val pp_prefix : Stdlib.Format.formatter -> Ipaddr.V4.Prefix.t -> unit

val mtu : 'a -> dst:'b -> int

val disconnect : 'a -> unit Lwt.t

val connect : 'a -> unit Lwt.t

val input : 'a -> tcp:'b -> udp:'c -> default:'d -> 'e -> unit Lwt.t

val write : 
  'a ->
  ?fragment:'b ->
  ?ttl:'c ->
  ?src:'d ->
  'e ->
  'f ->
  ?size:'g ->
  'h ->
  'i ->
  'j Lwt.t

val get_ip : 'a -> Ipaddr.V4.t list

val configured_ips : 'a -> Ipaddr.V4.Prefix.t list

val src : 'a -> dst:'b -> 'c

val pseudoheader : 'a -> ?src:'b -> 'c -> 'd -> 'e -> 'f