module MakeBwd: TraceChecker.S
TraceChecker.S
include ??
val trace_check : 'a Trace.t -> 'a Result.t
'a Trace.t -> 'a Result.t