Module type S.EXECUTOR

type 'a term

See TERM.

val run : 'a term -> 'a Output.t Current_incr.t

run t is the output value of t (i.e. without the static analysis part).