Skip to main content

karpal_proof/
lib.rs

1// Copyright (C) 2026 Industrial Algebra
2// SPDX-License-Identifier: Apache-2.0
3
4#![cfg_attr(not(feature = "std"), no_std)]
5
6#[cfg(all(not(feature = "std"), feature = "alloc"))]
7extern crate alloc;
8
9pub mod property;
10pub mod proven;
11pub mod rewrite;
12
13#[cfg(any(feature = "std", feature = "alloc"))]
14pub mod refinement;
15
16#[cfg(any(feature = "std", feature = "alloc"))]
17pub mod law_check;
18
19pub use property::*;
20pub use proven::Proven;
21pub use rewrite::{Justifies, Rewrite};
22
23#[cfg(any(feature = "std", feature = "alloc"))]
24pub use refinement::{NonEmpty, Positive};
25
26/// Re-export derive macros when the `derive` feature is enabled.
27#[cfg(feature = "derive")]
28pub use karpal_proof_derive::{
29    VerifyCommutative, VerifyGroup, VerifyLattice, VerifyMonoid, VerifyRing, VerifySemigroup,
30    VerifySemiring,
31};