Difference creates a new set containing the elements of the given set (lhs), minus the elements in the given subtrahend (rhs).

Set creates a Set using the provided values.

SliceToSet creates a set containing all values of the given slice, removing duplicates.

Union returns a set containing all values that appear in either input set.

ErrorCodeField is part of ErrorType, and declares the field that might be returned by the Code() method of the ree.Error.

ErrorInterface is a fact emitted by the analyser, marking an interface as containing methods that declare error codes.

ErrorType is a fact about a ree.Error type, declaring which error codes Code() might return, and/or what field gets returned by a call to Code().