Parameter Variable.T

type k
type v
val find : k -> v Lwt.t
val add : k -> v -> unit Lwt.t