hir-type

This crate defines the type system used by Miden's compiler infrastructure, as well as in its assembler and packaging crates.

See the crate documentation for details on the type system and its APIs.

License

MIT