Specware 4.1 Language Manual
PrevAppendix B. Inbuilts and Base LibrariesNext

Boolean

Ops

Name Fixity Type Description
toString  Boolean -> String converts logical value to string
show  Boolean -> String same as toString
compare  Boolean * Boolean -> Comparison compares two logical values

PrevHomeNext
Inbuilts and Base LibrariesUpInteger