previous up next
Go backward to Indexing of Module Components
Go up to Top
Go forward to Redeclaration of Modules
RISC-Linz logo

Sharing of Modules

module S = { var A: K;
    fun F=@A+1 };
module M = { import S; proc INIT=A:=0 };
module N = { import S; proc SUCC=A:=F };
in call M.INIT; call N.SUCC

Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next