external to_shape     : t -> Shape.t = "composite_shape_to_shape"