10 lines
175 B
Plaintext
10 lines
175 B
Plaintext
contract interface I =
|
|
entrypoint f : () => int
|
|
|
|
contract interface J =
|
|
entrypoint g : () => char
|
|
|
|
contract C : I, J =
|
|
entrypoint f() = 1
|
|
entrypoint g() = 'c'
|