Module Interpreter

module Interpreter: sig .. end
Interpreter for Lustre programs
Author(s): Baoluo Meng

val main : string -> 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit
Entry point
val on_exit : TransSys.t option -> unit
Cleanup before exit