Files
@ e24c723760cb
Branch filter:
Location: CSY/reowolf/testdata/parser/counterexamples/arity_checking.pdl
e24c723760cb
207 B
text/plain
struct field access and inference seems to be implemented