Functor TraceCheckerUtil.DiscardStates
module DiscardStates:Functor transforming a given trace-checking engine by discarding
`State
regions and then reducing the obtained trace invariant.Parameters: |
|
include ??
val trace_check : 'a Trace.t -> 'a Result.t
The trace-checking function.