1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
package the:test; interface i { type %result = bool; type %option = bool; no-clobber: func(faux-result: %result, faux-option: %option) -> result<_, option<bool>>; } world runner { import i; export run: func(); } world test { export i; }