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