Expand description
Tree node implementation for Logical Expressions
Functionsยง
- &mut transform a Option<
VecofExprs> - 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.