Gradual types
Test XGLM Model with gradual types. We annotate the second dimension of the model, trace using constraints and also generate constraints to migrate the first annotation of the model after tracing is complete.
_The documentation is not available anymore as the PR was closed or merged._