Devices.Icmp
type icmpv4
val icmpv4 : icmpv4 Functoria.DSL.typ
val direct_icmpv4 : Ip.ipv4 Functoria.DSL.impl -> icmpv4 Functoria.DSL.impl