Closed hannesm closed 2 years ago
Eventually, instead both -lwt and -mirage should be: ?happy_eyeballs:Happy_eyeballs.t and ?dns:Dns_client_lwt.t (DNS.t) - this would allow future changes to the arguments smoothly
?happy_eyeballs:Happy_eyeballs.t
?dns:Dns_client_lwt.t
DNS.t
Eventually, instead both -lwt and -mirage should be:
?happy_eyeballs:Happy_eyeballs.t
and?dns:Dns_client_lwt.t
(DNS.t
) - this would allow future changes to the arguments smoothly