Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package dns-stub
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Dns_stub_mirageSource
Source
module Make
(R : Mirage_random.S)
(T : Mirage_time.S)
(P : Mirage_clock.PCLOCK)
(C : Mirage_clock.MCLOCK)
(S : Tcpip.Stack.V4V6) :
sig ... end