Functor TraceCheckerUtil.Validate


module Validate: 
functor (E : TraceChecker.S) -> TraceChecker.S
Functor wrapping a given trace-checking engine with result validation. When validation fails, a Failure exception is raised.
Parameters:
E : TraceChecker.S

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