Go backward to Semantics of Type Structures II Go up to Top Go forward to Semantics of Declaration Abstractions |
D ::= ...| module I={D} | import I
module M = { class K = newint;
var A: K;
proc P = A:=0 };
var B: newint;
import M
in call P; B:=@A
Declarations in M is not visible in program until M is imported.