Contents

\text{Person}\left\{\begin{array}{l} \text{age}=\color{#90bfed}{\mathbf{\text{32}}} \\ \text{name}=random.toString \\\end{array}\right.

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
deepalgo_il-0.1.0	tests/test_formula_with_different_states_in_properties/formula-100.tex