2 lines
47 B
Text
2 lines
47 B
Text
|
Assert: nonemptyStringVar ∈ nonempty string;
|
|
|
Assert: nonemptyStringVar ∈ nonempty string;
|