I suspect that the generator and/or validator won't work with rule definitions that define a pair term or a group term. There should be some tests to ensure that these kinds of rules are generated and validated correctly.
foo = 3 => uint
bar = (uint, bool, string)
I suspect that the generator and/or validator won't work with rule definitions that define a pair term or a group term. There should be some tests to ensure that these kinds of rules are generated and validated correctly.