Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
String Declaration in Scilla
contract Strings()
field a : String = "" (*declaring variable a with no value*)
field b : String = "hello" (*declaring variable b with a fixed value*)
transition update_value()
(*updating variable a*)
c = "hi"; (*declaring variable c with fixed value in the transition*)
a:= c;
(*updating variable b*)
d= "hello world";
e= d;
b:= e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment