shithub: mc

ref: 1b52ea9d5660f5b21a465f59448941212b2f921e
dir: /test/gtrait.myr/

View raw version
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))
}