Module Interpreter

Interpreter for Lustre programs

author
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