Devices.Ethernet
type ethernet
val ethernet : ethernet Functoria.DSL.typ
val ethif : Network.network Functoria.DSL.impl -> ethernet Functoria.DSL.impl