spoofax_prop/trans/statics.nabl2

14 lines
173 B
Plaintext
Raw Permalink Normal View History

module statics
imports
signatures/-
rules
init ^ (s) := new s.
[[ Empty() ^ (s) ]] :=
false | note "Specify name binding and typing rules in statics.nabl2".