13 lines
90 B
Plaintext
13 lines
90 B
Plaintext
module statics
|
|
|
|
imports
|
|
|
|
signatures/-
|
|
|
|
rules
|
|
|
|
init ^ (s) := new s.
|
|
|
|
[[ _ ^ (s) ]].
|
|
|