Module type Base__Invariant_intf.Invariant.S

type t
val invariant : t inv