def same

import stelliferous@0.0.2.0/tensor_shape.bend as TensorShape

import Base

23def same(left: Shape,right: Shape) -> Bool:
24  Shape{xs} = left
25  Shape{ys} = right
26  same_extents(xs,ys)

Uses (3)