7 lines
115 B
Text
7 lines
115 B
Text
---- MODULE maximum ----
|
|
Maximum(S) ==
|
|
IF S = {}
|
|
THEN -1
|
|
ELSE CHOOSE n \in S: \A m \in S: n >= m
|
|
|
|
====
|