Module type TraceChecker.S


module type S = functor (A : Model.SEMANTICS_CLOSURE) -> sig .. end
Parameters:
A : Model.SEMANTICS_CLOSURE

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