## html-attribute-vals.pkg
# Compiled by:
# src/lib/html/html.lib# This package is necessary since the attributes type is used in the parser,
# and there is no way to get it into the parser's api.
package htmlattr_vals {
# support for building elements that have attributes
Attribute_Val
= NAME String # [a-zA-Z.-]+
| STRING String # A string enclosed in "" or ''
| IMPLICIT;
Attributes = List ((String, Attribute_Val));
};
## COPYRIGHT (c) 1996 AT&T Research.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.