Module type Invariant_intf.Invariant.S

module type S = Invariant_intf.S

type t 

val invariant : t Invariant_intf.inv