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