Module LutinRdbg
Some def that are specific to Lutin programs.
val to_lut_evt : RdbgEvent.kind -> lut_evt
val from_lut_evt : lut_evt -> RdbgEvent.kind
val explain_failure : RdbgEvent.t -> unit
Try to hint why the current constraint failed (at fail events only)