ref: f922a2c6dfb9a8043f82a19946a06b85469b3be1
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
;;
}