7 lines
129 B
Plaintext
7 lines
129 B
Plaintext
include "List.aes"
|
|
include "Option.aes"
|
|
|
|
contract Test =
|
|
entrypoint i_should_build() =
|
|
List.is_empty(Option.to_list(None))
|