Go backward to
Information Hiding
Go up to
Top
Go forward to
Packages and Abstract Data Types
Use of Packages
Package must be
opened
before use:
value p = pack[a = Int in
a x (a
->
Int)](3, succ)
open p as x in (snd(x))(fst(x))
value p = pack[a = Int in
{arg: a, op: a
->
Int}](3, succ)
open p as x in x.op(x.arg)
Reference to hidden type:
open p as x[b] in ...fun(y:b) (snd(x))(y) ...
Author:
Wolfgang Schreiner
Last Modification: May 27, 1998