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