rdbg

RDBG: a reactive programs debugger
Library rdbg4lurette
Module RifRun
type vars = (string * string) list
type sl = Data.subst list

If the step returns None, its means a reset occured

val make : vars -> vars -> ( string -> unit ) * ( sl -> sl option )

If the step returns None, its means a reset occured