rdbg

RDBG: a reactive programs debugger
IN THIS PACKAGE
Module RifRun
type vars = (string * string) list
type sl = Data.subst list
val make : vars -> vars -> ( string -> unit ) * ( sl -> sl option )

Returns a kill and a step function. If the step returns None, its means a reset occurred.