Module FlagModes

Flag state values.

module Spec : sig ... end