Jakub Bachurski

Expose a Python interface for inference functions

2

**Description** - Exposes a getter `InferenceFunction get_type_and_shape_inference_function() const` for C++ `OpSchema` - Adds a Python-side function, `infer_types`, which takes arguments analogous to the constructor of `InferenceContextImpl`. - Tests `infer_types` on...

No shipped stubs and using mypy

7

### Question It looks like default ONNX (both installed through pip and conda-forge) does not ship with stub files that mypy can use for typing types like `TensorProto`, `AttributeProto`, etc....

Exposing a Python interface for calling inference functions

2

# Feature Request ### Feature description Currently, [the only place](https://github.com/onnx/onnx/blob/d6a0fefa83828dfbaab15e5477ce5c95b12b7be9/onnx/shape_inference/implementation.cc#L332) where `TypeAndShapeInferenceFunction`s (as set in `defs.cc`) are called is the `InferShapes` function. However, for one to call it from the...

Due to the following code in `onnxmltools/proto/__init__.py`: https://github.com/onnx/onnxmltools/blob/d7db0ffc73e33c6545261dfb72ed69ea12b3d48a/onnxmltools/proto/__init__.py#L24-L50 `onnx.helper.make_tensor` gets overwritten. Hence, any code using `onnxmltools` that also wants to use `make_tensor` is forced to use a more primitive version,...

Print model initializers with `onnx.printer`

3

# Bug Report ### Describe the bug Reproduced with Spox `0.7.0`: ```py import spox.opset.ai.onnx.v18 as op from spox import * from spox._future import initializer import onnx.checker import onnx.printer # Build...

`inline` is currently missing: - [x] Support for subgraphs (they should get prefixed properly, which ONNX renaming doesn't do) - [ ] Support for functions (such local/dependency functions should be...

Incompleteness of inclusion checks under some abbreviation expansions

1

## Example The following example: ```ocaml type 'a t = int module M : sig val x : 'a t option ref end = struct let x = ref None...