[Next] [Up] [Previous] [Contents]
Next: Booleanenumerated and subrange
Up: SMV language overview
Previous: SMV language overview
A type declaration is of the form
<signal> : <type>;
where <signal> is the name of a signal and <type> is the set of values
that the signal may take.
Ken McMillan
Sat Jun 6 21:41:59 PDT 1998