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