Copyright (C) 1994, Digital Equipment Corp.
Digital Internal Use Only
Created on Sat May 28 18:53:30 PDT 1994 by najork
INTERFACEThe Proxy Maker (PM) procedure for Prop.T is registered by assigning it to MkProxyT.PropProxy ; FROM Prop IMPORT T;
VAR MkProxyT : PROCEDURE (x : T) := NIL; END PropProxy.