Single_value_abstraction.BitfieldSourceThe most precise abstraction for finite enumerations: a bitfield, with a bit for each possible value, compactly representing a set of values.
module Enum_Forward :
Operator.ENUM_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean := boolean
and type enum := enummodule Enum_Backward :
Operator.ENUM_BACKWARD
with module Arity := Operator.Backward_Arity
and type boolean := boolean
and type enum := enum