sophia/test/contracts/polymorphic_aens_resolve.aes

8 lines
141 B
Plaintext

contract PolymorphicAENSresolve =
function fail() : option('a) =
AENSv2.resolve("foo.aet", "whatever")
entrypoint main_fun() = ()