ref: 9a2f63d47a96bf522e6c5d39e215b2e6a9e600c7
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 = { }