Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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)
control the behavior of print_event