saibakatar

contract Int()
 
field a: Option Int32 = None {Int32}   (*declaring variable a with no value*)
field b: Int32 = Int32 5               (*declaring variable b with a fixed value*)

transition update_value()

    (*updating variable a*)
    c = Int32 6;  (*declaring variable c with fixed value in the transition*)
    tmp = Some {Int32} c;