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