Module type Invariant_intf.S1

module type S1 = sig .. end

type 'a t 

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