- javni-nunvalsi-val nunvalsiprocedure
- A javni-valsi generator.
Generate the javni-valsi from nunvalsi. If the result is a single javni-valsi, return the val member of that result. Otherwise, treat the result as a tree containing javnli-valsi and recursively retrieve the val member from each javni-valsi node in the tree.
It is an error if valsi is not (lists of) of type javni-valsi.