Module type Invariant.S2

module type S2 = sig .. end

type ('a, 'b) t 

val invariant : 'a Invariant.inv -> 'b Invariant.inv -> ('a, 'b) t Invariant.inv