Specware 4.0 Language Manual
PrevAppendix B. Base LibrariesNext

Compare

Sort

sort Comparison = | Less | Equal | Greater

Ops

Name Fixity Sort Description
compare  Comparison * Comparison -> Comparison compares comparison values
show  Comparison -> String converts comparison value to string

PrevHomeNext
ListUpOption