Module type Invariant_intf.Invariant.S1

module type S1 = Invariant_intf.S1

type 'a t 

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