Intermediate representation of the haloumi framework
Types used by the IR and by some modules that the IR depends on
Core traits for enabling types to integrate with the codegen module
Core types and traits of the Halo2 frontend for LLZK
Try searching with DuckDuckGo or on crates.io.