Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: DFAState.m3.html,v 1.2.2.1 2010-04-15 20:59:24 wagner Exp $
MODULE DFAState;
PROCEDURE Equal(a,b:T):BOOLEAN=BEGIN RETURN a=b;END Equal;
BEGIN END DFAState.