Make.Shape
module Type : Owl_computation_type_sig.Sig
val infer_shape : Type.op -> Type.attr Owl_graph.node array -> int array option array
TODO