return to top
source
Matches e with lhs = (rhs : α) and returns (α, lhs, rhs).
e
lhs = (rhs : α)
(α, lhs, rhs)
Return some (α, lhs, rhs) if e is of the form @Eq α lhs rhs or @HEq α lhs α rhs
some (α, lhs, rhs)
@Eq α lhs rhs
@HEq α lhs α rhs