Module type S2

Signature

type ('a, 'b) t

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