haloumi-picus 0.5.6

Haloumi backend to the Picus Constraint Language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#[macro_use]
pub mod display;
pub(crate) mod errors;
pub mod expr;
pub mod felt;
pub mod ident;
mod module;
pub(crate) mod note;
pub mod opt;
mod program;
pub mod stmt;
pub mod vars;

pub use module::{Module, ModuleLike, ModuleRef};
pub use program::Program;