Dns_client_mirageSourcemodule Make
(R : Mirage_random.S)
(T : Mirage_time.S)
(M : Mirage_clock.MCLOCK)
(P : Mirage_clock.PCLOCK)
(S : Tcpip.Stack.V4V6)
(H :
Happy_eyeballs_mirage.S with type stack = S.t and type flow = S.TCP.flow) :
S with type Transport.stack = S.t * H.t and type happy_eyeballs = H.t