Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type context = Dns_client_mirage.Make(R)(T)(C)(Stack).Transport.context
type 'a io = 'a Lwt.t
type io_addr = Ipaddr.V4.t * int
type ns_addr = [ `TCP | `UDP ] * io_addr
type stack = Stack.t
val rng : int -> Cstruct.t
val lift : 'a -> 'a io