general/rose/LAWS.bend

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

1import Base
2import near-v-framework@0.6.0.0/general/rose/type.bend as R
3import near-v-framework@0.6.0.0/general/rose/ops.bend as O
4
5# LAW: a tree's first key is its own
6law first_key_is_own:
7  for -N: Data
8  for +r: R.Rose<N>
9  {O.first(O.keys(N, [r])) == O.key(N, r) : String}