Right now, the representation of Action::Set looks like this: Set(Head, Vec<GenericAtomTerm<Leaf>>, GenericAtomTerm<Leaf>)
While this is good because it disallows variables or literals as the left child to the set, it's bad because it makes it hard to map over set terms.
The map_exprs function is a bit inconsistent right now because it doesn't map over the first argument of Set.
Right now, the representation of
Action::Setlooks like this:Set(Head, Vec<GenericAtomTerm<Leaf>>, GenericAtomTerm<Leaf>)While this is good because it disallows variables or literals as the left child to the set, it's bad because it makes it hard to map over set terms.The
map_exprsfunction is a bit inconsistent right now because it doesn't map over the first argument ofSet.