definition module Set

import StdEnv

:: Set a :== [a]

union :: !.[a] !u:[a] -> v:[a] | Eq a, [u <= v]