shithub: mc

ref: e53b3a2d57e7162903c7312a25e37cb61b88a015
dir: /test/exporttrait.myr/

View raw version 
pkg =
	trait t @a
	impl t int
;;

trait t @a =
	frob    : (v : @a -> @a)
;;

impl t int =
	frob = {v
		-> v*2
	}
;;