Icmpv4.Makemodule I : Tcpip.Ip.S with type ipaddr = Ipaddr.V4.tinclude SDisconnect from the ICMP layer. While this might take some time to complete, it can never result in an error.
type ipaddr = Ipaddr.V4.tThe type for IP addresses.
input t src dst buffer reacts to the ICMP message in buffer.