9 releases

new 0.0.8 Apr 24, 2025
0.0.7 Sep 17, 2024
0.0.4 Aug 31, 2024
0.0.1 Jul 22, 2024
0.0.0 May 23, 2024

#17 in #hir


Used in 10 crates (2 directly)

MIT license

84KB
1.5K SLoC

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

Dependencies

~1.6–2.4MB
~43K SLoC