seal5.transform.infer_types.transform

Type inference for M2-ISA-R/Seal5 metamodel.

This module uses the upstream M2-ISA-R infer_types implementation which provides the modern visitor pattern and type system.

Functions

get_parser()
main(argv)
run(args)