type Parts

stelliferous@0.0.2.0 · tensor.bend:39

import Base

39# A nonempty sequence of tensors. Base List is not used for tensors: the
40# compiler shares every constructor of a list type that is duplicated anywhere,
41# and that sharing would reach the certificate inside each tensor's storage.
42type Parts<-Element: Data> is Type:
43  Single{tensor: Tensor<Element>}
44  Cons{tensor: Tensor<Element>,rest: Parts<Element>}