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