Module type Invariant_intf.S

type t
val invariant : t inv