sophia/test/contracts/polymorphic_map_keys.aes

7 lines
124 B
Plaintext

contract MapAsMapKey =
type t('key) = map('key, int)
function foo(m) : t('a) = {[m] = 0}
entrypoint main_fun() = ()