Module type Base__Invariant.S

type t
val invariant : t -> unit