pub fn tower_level(expr: &SymbolicExpr) -> TowerLevelExpand description
Classify an expression by the lowest tower level that can hold it.
pub fn tower_level(expr: &SymbolicExpr) -> TowerLevelClassify an expression by the lowest tower level that can hold it.