ref: 12b9ad5cea789d9a3fc5c6e57e556877d02bff38
dir: /libstd/extremum.myr/
pkg std =
generic min : (a : @a::tcnum, b : @a::tcnum -> @a::tcnum)
generic max : (a : @a::tcnum, b : @a::tcnum -> @a::tcnum)
;;
generic min = {a, b
if a < b
-> a
else
-> b
;;
}
generic max = {a, b
if a > b
-> a
else
-> b
;;
}