rdbg

RDBG: a reactive programs debugger
Library rdbg
Module LucioleRun
type vars = (string * string) list

This module has a twin: RifRun

type sl = Data.subst list
val make : string -> vars -> vars -> ( string -> unit ) * ( sl -> sl option )

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