- BlackBox:
    name: Clash.Sized.RTree.treplicate
    kind: Expression
    type: 'replicate :: SNat
      d -> a -> RTree d a'
    template: '''{(2**~LIT[0]) {~TOBV[~ARG[1]][~TYP[1]]}}'
    workInfo: Never
- BlackBox:
    name: Clash.Sized.RTree.textract
    kind: Expression
    type: 'textract :: RTree
      0 a -> a'
    template: ~FROMBV[~VAR[tree][0][\0\]][~TYPO]
    workInfo: Never
- BlackBox:
    name: Clash.Sized.RTree.tsplit
    kind: Expression
    type: 'tsplit:: RTree
      (d+1) a -> (RTree d a,RTree d a)'
    template: ~TOBV[~VAR[tree][0]][~TYP[0]]
    workInfo: Never