dominated and equal in f#