the validation you are asking for sounds like what CUE does. If you say a: 5 a: 3 That’s an error. If you want the ability to "override", you have to write

the validation you are asking for sounds like what CUE does. If you say a: 5 a: 3 That’s an error. If you want the ability to "override", you have to write it like this, for example: a: *5 | int a: 3 This also works for struct/list members, so you can set defaults for all fields, and stuff like that. https://cuelang.org/docs/about/ https://cuelang.org/docs/about/