On 13/02/19 08:45, Markus Armbruster wrote: > * If it doesn't, "default" / "imply" supply the value if condition is > met > > * What about contradictions between "default" / "imply"?
We would avoid those by forbidding "default n", then "imply" would also be just another "default y". I'm quite sold on only having "default y" lines (which then are easily ORed among themselves and with "imply" lines). Paolo
