Functor TraceCheckerUtil.Validate
module Validate:Functor wrapping a given trace-checking engine with result validation. When validation fails, a
Failure
exception is raised.Parameters: |
|
include ??
val trace_check : 'a Trace.t -> 'a Result.t
The trace-checking function.