package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger

Install

md5=9149f1e2f49e971c77ff519aef34f09b

sha512=8e88034b1eda8f1233b4990adc9746782148254c93d8d0c99c246c0d50f306eeb6aa4afcfca8834acb3e268860647f47a24cc6a2d29fb45cac11f098e2ede275

Some def that are specific to Lutin programs.

Sourcetype lut_evt =

Sourceval to_lut_evt : RdbgEvent.kind -> lut_evt

Sourceval from_lut_evt : lut_evt -> RdbgEvent.kind

Sourceval explain_failure : RdbgEvent.t -> unit

Try to hint why the current constraint failed (at fail events only)

Sourceval profiler : bool -> unit

set on/off the profiler

Sourceval reset_profiler : unit -> unit

Reset profiling info

Sourceval dump_profile_info : unit -> string

Dump profiling info

control the behavior of print_event