Copyright (C) 1994, Digital Equipment Corp.File: Bool.i3 Last Modified On Fri Jun 30 08:29:47 1989 By kalsow
INTERFACEBool ; IMPORT Type, Value, Expr; VAR T : Type.T; False : Value.T; True : Value.T; Map : ARRAY BOOLEAN OF Expr.T; PROCEDURE Initialize (); END Bool.