Ian Goldberg 9bf1745c9a Move leaf_true, is_leaf_true, and leaf_true_test into StatementTree 7 ヶ月 前
..
src 9bf1745c9a Move leaf_true, is_leaf_true, and leaf_true_test into StatementTree 7 ヶ月 前
Cargo.toml d7ba2a9350 Enforce the disjunction invariant 8 ヶ月 前