return to top
source
relSidesIfSymm?
If e is the form @R .. x y, where R is a symmetric relation, return some (R, x, y). As a special case, if e is @HEq α a β b, return some (`HEq, a, b).
e
@R .. x y
R
some (R, x, y)
@HEq α a β b
some (`HEq, a, b)