Module Step

module Step: sig .. end
Clean up before exit

val on_exit : TransSys.t option -> unit
val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit
Runs the step instance.