ORD_SET
signature
signature ORD_SET
structure Key : ORD_KEY
type item
type set
val empty : set
val singleton : item -> set
val add : (set * item) -> set
val addList : (set * item list) -> set
val delete : (set * item) -> set
val member : (set * item) -> bool
val isEmpty : set -> bool
val equal : (set * set) -> bool
val isSubset : (set * set) -> bool
val numItems : set -> int
val listItems : set -> item list
val union : (set * set) -> set
val intersection : (set * set) -> set
val difference : (set * set) -> set
val map : (item -> 'b) -> set -> 'b list
val app : (item -> unit) -> set -> unit
val foldl : ((item * 'b) -> 'b) -> 'b -> set -> 'b
val foldr : ((item * 'b) -> 'b) -> 'b -> set -> 'b
val filter : (item -> bool) -> set -> set
val exists : (item -> bool) -> set -> bool
val find : (item -> bool) -> set -> item option
structure Key
type item
type set
empty
singleton it
add (se, it)
addList (se, l)
delete (se, it)
member (se, it)
isEmpty se
equal (se, se2)
isSubset (se, se2)
numItems se
listItems se
union (se, se2)
intersection (se, se2)
difference (se, se2)
map f se
app f se
foldl f a se
foldr f a se
filter f se
exists f se
find f se
Last Modified May 29, 1996
Copyright © 1996 AT&T Research