== -package:hedgehog -package:LambdaHack -package:quaalude package:partial-order

Equality relation. Defined in terms of <=.