1 2 3 4 5 6 7 8 9 10 11 12 13
module test { type Counter { required property name -> str { constraint std::exclusive; } required property value -> int32 { default := 0; } } global str_val -> str; global int_val -> int32; }