package mirage
-
mirage.impl
-
mirage.target
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val ethernet : ethernet Functoria.typval etif :
Mirage_impl_network.network Functoria.impl ->
ethernet Functoria.impl