module type S = Invariant_intf.S
Invariant_intf.S
type t
val invariant : t Invariant_intf.inv
t Invariant_intf.inv