Symbol.Shape
module Type : sig ... end
val infer_shape : Type.op -> Type.attr Owl_graph.node array -> int array option array