Module APInv.MakeFwd


module MakeFwd: TraceChecker.S 

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