Comparison functions
Many higher order functions require functions to define equality or comparison between elements. Silver contains a few built-in comparison functions, thus allowing the user to avoid reinventing the wheel.
stringEq tests for equality of two strings
stringLte tests whether the first parameter is less than or equal to the second parameter