sig type ('a, 'b) t val invariant : 'a Invariant.inv -> 'b Invariant.inv -> ('a, 'b) Invariant.S2.t Invariant.inv end