Module type Invariant.S

module type S = sig .. end

type t 

val invariant : t Invariant.inv