general/rose/PROOF.bend

near-v-framework@0.3.0.2 · 9 lines · 0 definitions

1import Base
2import near-v-framework@0.3.0.2/general/rose/type.bend as R
3import near-v-framework@0.3.0.2/general/rose/ops.bend as O
4import near-v-framework@0.3.0.2/general/rose/LAWS.bend as Laws
5
6def Laws.first_key_is_own(N, r):
7  match r:
8    case R.Rose{k, v, kids}:
9      {==}