leo/compiler/tests/input_files/program_state/input/basic.state

[[public]]
[state]
root: bool = true;

[[private]]
[record]
id: bool = false;

[state_leaf]
leaf: bool = true;