package mirage
-
mirage
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val ethernet : ethernet Functoria.typ
val etif : Network.network Functoria.impl -> ethernet Functoria.impl