- javni-rodavalsi-val rodavalsiprocedure
- rodavalsi
- A javni-valsi.
This helper routine for javni-nunvalsi-val returns the val member of rodavalsi if rodavalsi is a javni-valsi, calling itself recursively every time rodavalsi is a list.
It is an error if valsi is not of type javni-valsi.