type Vec

bend-tensors@0.0.0.2 · bend_tensors.bend:1316

import Base

1316type Vec<-m: Nat> is Data:
1317  VecS{tree: VecT(VecT.depth(m))}