Specware 4.1 Language Manual
PrevAppendix B. Inbuilts and Base LibrariesNext

Compare

Type

type Comparison = | Less | Equal | Greater

Ops

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

PrevHomeNext
ListUpOption