klex/src/DFAState.m3


 Copyright (c) 2000 California Institute of Technology 
 All rights reserved. See the file COPYRIGHT for a full description. 
 $Id: DFAState.m3.html,v 1.3 2010-04-29 17:18:49 wagner Exp $ 

MODULE DFAState;
PROCEDURE Equal(a,b:T):BOOLEAN=BEGIN RETURN a=b;END Equal;
BEGIN END DFAState.