Module type Invariant_intf.S

module type S = sig .. end

type t 

val invariant : t Invariant_intf.inv