bundleintf/src/Bundle.m3


Copyright (C) 1994, Digital Equipment Corp.

MODULE Bundle EXPORTS Bundle, BundleRep;

PROCEDURE Get (bundle: T; element: TEXT): TEXT =
  BEGIN
    RETURN bundle.get(element)
  END Get;

PROCEDURE Elts (<* UNUSED *> bundle: T): REF ARRAY OF TEXT =
  BEGIN
    <* ASSERT FALSE *>
  END Elts;

BEGIN
END Bundle.