Mirage_impl_icmp
type icmpv4
val icmpv4 : icmpv4 Functoria.typ
val direct_icmpv4 : Mirage_impl_ip.ipv4 Functoria.impl -> icmpv4 Functoria.impl