Module TraceCheckerUtil
module TraceCheckerUtil:Common utility functor for trace-checking engines.sig
..end
module Common:
Common utility functor for trace-checking engines.
module Reverse:
Functor reversing a given trace-checking engine.
module DiscardStates:
Functor transforming a given trace-checking engine by discarding
`State
regions and then reducing the obtained trace invariant.
module Validate:
Functor wrapping a given trace-checking engine with result validation.