Devices.Dnsval dns_client : dns_client Functoria.typval generic_dns_client :
int64 option Functoria.runtime_arg option ->
string list Functoria.runtime_arg option ->
(Random.random ->
Time.time ->
Mclock.mclock ->
Pclock.pclock ->
Stack.stackv4v6 ->
Happy_eyeballs.happy_eyeballs ->
dns_client)
Functoria.impl