Functor TraceCheckerUtil.DiscardStates


module DiscardStates: 
functor (E : TraceChecker.S) -> TraceChecker.S
Functor transforming a given trace-checking engine by discarding `State regions and then reducing the obtained trace invariant.
Parameters:
E : TraceChecker.S

include ??
val trace_check : 'a Trace.t -> 'a Result.t
The trace-checking function.