Determining semantic properties of nodesThis package contains simple wrappers for various useful checks on nodes to determine semantic information based on their name, number of children, etc...
is_relational_operator(node: ExNode) -> bool
Returns True for $=$, $<$ and $>$ nodes
is_relational_expression(ex: Ex) -> bool
Returns True for expressions which contain a top node which is a relational operator and exactly two children