Closure.S
module Machine : Machine.S
val run : value list -> value Machine.t
run args performs the computation.
run args