clash-lib-1.6.0: prims/verilog/Clash_Sized_RTree.primitives.yaml
- 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