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