(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* File: ExprA.m3                                              *)
(* Last Modified On Sat Feb 10 17:27:35 1990 By kalsow         *)
(*      Modified On Tue Oct 10 18:42:38 1989 By muller         *)

MODULE ExprA;

IMPORT Expr, ExprRep;

PROCEDURE Bind (t: T) =
  BEGIN
    Expr.Bind (t.a);
  END Bind;

PROCEDURE EqCheck (a: T;  e: Expr.T): BOOLEAN =
  BEGIN
    TYPECASE e OF
    | NULL => RETURN FALSE;
    | T(b) => RETURN TYPECODE (a) = TYPECODE (e) AND Expr.IsEqual (a.a, b.a);
    ELSE      RETURN FALSE;
    END;
  END EqCheck;

BEGIN
END ExprA.