general/rose/LAWS.bend source

general/rose/LAWS.bend on the hub · documented module

import Baseimport ./type.bend as Rimport ./ops.bend as O# LAW: a tree's first key is its ownlaw first_key_is_own:  for -N: Data  for +r: R.Rose<N>  {O.first(O.keys(N, [r])) == O.key(N, r) : String}