Expand description
Tree node implementation for Logical Expressions
Functionsยง
- &mut transform a Option<
Vec
ofExpr
s> - Transforms an optional vector of sort expressions by applying the provided closure
f
. - Transforms an vector of sort expressions by applying the provided closure
f
.