% $Id: while_syntax.mod,v 1.1 2004/10/15 20:59:17 leavens Exp $
module while_syntax.
  % see the signature file