Module type Invariant.S1

module type S1 = sig .. end

type 'a t 

val invariant : 'a Invariant.inv -> 'a t Invariant.inv