22 lines
231 B
Plaintext
22 lines
231 B
Plaintext
namespace Nsp1 =
|
|
function f() = 1
|
|
|
|
namespace Nsp2 =
|
|
using Nsp1
|
|
|
|
function g() = 1
|
|
|
|
contract Cntr =
|
|
using Nsp2
|
|
|
|
type state = int
|
|
|
|
function x() =
|
|
using Nsp1
|
|
f()
|
|
|
|
function y() =
|
|
f()
|
|
|
|
entrypoint init() = f()
|