module type S1 = Invariant_intf.S1
Invariant_intf.S1
type 'a t
'a
val invariant : 'a Invariant_intf.inv -> 'a t Invariant_intf.inv
'a Invariant_intf.inv -> 'a t Invariant_intf.inv