15.3.463  src/lib/std/src/bit-flags.api

## bit-flags.api

# Compiled by:
#     src/lib/std/src/standard-core.sublib


# Api for bitflags.



###                "Conventional people are roused to fury by departure from convention,
###                 largely because they regard such departure as a criticism of themselves."
###
###                                                        -- Bertrand Russell



# This api is implemented in:
#
#     src/lib/std/src/bit-flags-g.pkg

api Bit_Flags {
    #
    eqtype Flags;

    to_unt:    Flags -> host_unt::Unt;
    from_unt:  host_unt::Unt -> Flags;

    all:  Flags;
    flags:      List( Flags ) -> Flags;         # Set union.
    intersect:  List( Flags ) -> Flags;         # Set intersection.
    clear:     (Flags, Flags) -> Flags;         # Set difference flipped.
    all_set:   (Flags, Flags) -> Bool;          # subseteq 
    any_set:   (Flags, Flags) -> Bool;          # Non-empty intersection 
};


## COPYRIGHT (c) 2003 The Fellowship of SML/NJ
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.