Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Make
(D : Qubes.S.DB)
(R : Mirage_crypto_rng_mirage.S)
(C : Mirage_clock.MCLOCK)
(Ethernet : Ethernet.S)
(Arp : Arp.S) :
sig ... end