Module UPInv.MakeBwd


module MakeBwd: TraceChecker.S 

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