Module Path_predicate

module Path_predicate: sig .. end

type trace_visit_action = 
| SkipExec
| DoExec
| StopExec
class type dse_analysis_t = object .. end
class dse_analysis : Options.trace_analysis_config -> dse_analysis_t