sig
type 'a invariant =
int * (('a * A.Region.t) * A.Region.t) Util.Sequence.t * int
type 'a t =
[ `Feasible of [ `Strong | `Weak ]
| `Invariant_backward of 'a TraceChecker.T.Result.invariant
| `Invariant_forward of 'a TraceChecker.T.Result.invariant ]
val print :
(Format.formatter -> 'a -> unit) ->
Format.formatter -> 'a TraceChecker.T.Result.t -> unit
end