type t
A ctx is a context in which a term is evaluated.
ctx
val watch : t -> unit Lwt.t -> unit
watch t thread is called to indicate that the term will need to be recalculated when thread finishes.
watch t thread
thread