9 releases

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

#19 in #hir

Download history 79/week @ 2025-02-12 5/week @ 2025-02-26 21/week @ 2025-03-12 2/week @ 2025-03-26 2/week @ 2025-04-09 3/week @ 2025-04-16 183/week @ 2025-04-23 48/week @ 2025-04-30

236 downloads per month
Used in 16 crates (via midenc-hir)

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
~42K SLoC