Order a and b lexicographically by applying each fun to them. For unary functions compares fun(a) < fun(b).
See Implementation
Order a and b lexicographically by applying each fun to them. For unary functions compares fun(a) < fun(b).