current.term
Make.Executor
current
current.cache
current.fs
val run : 'a t -> 'a Output.t Current_incr.t
run t is the output value of t (i.e. without the static analysis part).
run t
t