The standard library Bit_Flags api defines access to set operations on bit vectors.
The Bit_Flags api is implemented in src/lib/std/src/bit-flags-g.pkg. That generic gets invoked in src/lib/std/src/psx/posix-io.pkg, src/lib/std/src/psx/posix-file.pkg, src/lib/std/src/psx/posix-process.pkg, src/lib/std/src/psx/posix-file-system-64.pkg, src/lib/std/src/psx/posix-io-64.pkg and src/lib/std/src/psx/posix-tty.pkg.
The Bit_Flags api source code is in src/lib/std/src/bit-flags.api.
The above information is manually maintained and may contain errors.
api {
eqtype Flags;
to_unt : Flags -> one_word_unt::Unt;
from_unt : one_word_unt::Unt -> Flags;
all : Flags;
flags : List(Flags ) -> Flags;
intersect : List(Flags ) -> Flags;
clear : (Flags , Flags) -> Flags;
all_set : (Flags , Flags) -> Bool;
any_set : (Flags , Flags) -> Bool;};