Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type Vnetif_stack = sig ... endmodule Vnetif_stack
(B : Vnetif.BACKEND)
(R : Mirage_random.S)
(Time : Mirage_time.S)
(Mclock : Mirage_clock.MCLOCK) :
Vnetif_stack with type backend = B.t