Files
@ e24c723760cb
Branch filter:
Location: CSY/reowolf/examples/eg_protocols.pdl - annotation
e24c723760cb
374 B
text/plain
struct field access and inference seems to be implemented