I am using dict to implement a variable arg list, with the dict tag having significance too.
So a predicate gets an Arg which is a dict with two or more key value pairs and a tag.
I am unsure how i bind to the dict tag only while the number of key value pairs bound in Arg is not known.
Edit:
Looks like explicitly binding the Arg with a fixed key-value list with value set to _, may be one way to go. Unfortunately, this requires creating such a mapping for each anticipated number of args – not a terrible thing, but better to have something more dynamic.
Edit2:
Another option is to "pad: the Dict to a max fixed size with dummy key:value pairs – which, I guess helps, but is wasteful.
In my case a bit less so since it seems (at least for now) that the arg number isn’t greater than 3.
thanks,
Dan