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