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

(* File: AssertStmt.i3                                         *)
(* Last Modified On Fri Oct 13 18:09:17 1989 By muller         *)
(*      Modified On Mon Jul 24 11:02:13 1989 By kalsow         *)

INTERFACE AssertStmt;

IMPORT Token, Stmt;

PROCEDURE Parse (READONLY fail: Token.Set): Stmt.T;

END AssertStmt.