ref: db34187dc25f6b3f1a85b85c4dcf9a69b1cb4d54
dir: /test/exporttrait.myr/
use std
pkg =
	trait t @a
	impl t int
;;
trait t @a =
	frob    : (v : @a -> @a)
;;
impl t int =
	frob = {v
		-> v*2
	}
;;
/* shut up the linker: we just want to compile this. */
const main = {
}