type VecT.Node

bend-tensors@0.0.0.2 · bend_tensors.bend:457

import Base

457type VecT.Node<-p: Nat> is Data:
458  VecN{l: VecT(p), r: VecT(p)}