def single_compatible
import stelliferous@0.0.2.0/tensor_band_concat.bend as TensorBandConcatimport Base
import stelliferous@0.0.2.0/tensor.bend as Tensors
import stelliferous@0.0.2.0/tensor_band.bend as Bands
59def single_compatible(~Element: Data,first: Tensors.Tensor<Element> & Maybe<&2,Bands.Plan>) ->
60 (Tensors.Parts<Element> & Maybe<&2,Bands.Plan>) & Bool:
61 (tensor,layout) = first
62 single_compatible_plan(~Element,tensor,layout)