ref: 9b6e7069755a73fb43acd86fd76aafb2178a6f0c
dir: /test/gtrait.myr/
use std
trait comparable @a =
cmp : (a : @a, b : @a -> std.order)
;;
impl comparable @a :: numeric @a =
cmp = {a, b
-> std.numcmp(a, b)
}
;;
const main = {
std.put("{}", cmp(1, 2))
}