seal5.transform.infer_types.visitor
Type inference for M2-ISA-R/Seal5 metamodel.
This module re-exports the upstream M2-ISA-R InferTypesMutator which provides the modern visitor pattern and correct type system for type inference.
Type inference for M2-ISA-R/Seal5 metamodel.
This module re-exports the upstream M2-ISA-R InferTypesMutator which provides the modern visitor pattern and correct type system for type inference.