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

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

MODULE ExprAB;

IMPORT Expr, ExprRep;

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

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

BEGIN
END ExprAB.