BINDINGS FOR SetType;

(* Semantic Properties for Static Set Types *)


(* ADTs must be opaque records,
   structured literals may be used *)

TYPE = OPAQUE RECORD := {};


(* Bindings permitted for SetType ADTs *)

PROCEDURE [:=]; (* allow binding to assignment operator *)

PROCEDURE [::]; (* allow binding to conversion operator *)

PROCEDURE [.]; (* allow accessor binding to [ ] operator *)

PROCEDURE [!]; (* allow mutator binding to [ ] operator *)

PROCEDURE [COUNT]; (* allow binding to COUNT function *)

PROCEDURE [FOR]; (* allow binding to FOR .. IN iterator *)

PROCEDURE [+]; (* allow binding to set union operator *)

PROCEDURE [-]; (* allow binding to set difference operator *)

PROCEDURE [*]; (* allow binding to set intersection operator *)

PROCEDURE [/]; (* allow binding to symmetric set difference op *)

PROCEDURE [=]; (* allow binding to equal operator *)

PROCEDURE [<]; (* allow binding to subset operator *)

PROCEDURE [>]; (* allow binding to superset operator *)

END SetType.