package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger

Install

dune-project

Dependency

sha256=80c13ca3619b52c7e879ef90cd290d42775eb1032d526a9e1a770150d10a150d

md5=facf4de4f8b9f1a890e235d58163c66c

type lut_evt =

val to_lut_evt : Event.kind -> lut_evt

val from_lut_evt : lut_evt -> Event.kind

val explain_failure : Event.t -> unit

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

val profiler : bool -> unit

set on/off the profiler

val reset_profiler : unit -> unit

Reset profiling info

val dump_profile_info : unit -> string

Dump profiling info

control the behavior of print_event