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