sigma-types 0.3.7

Types checked for an invariant.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Fail if and only if debug assertions are enabled
//! (that is, if this is not a release build):

#![expect(
    unused_crate_dependencies,
    reason = "not every example uses each dev-dependency"
)]

use sigma_types::Positive;

fn main() {
    // This will fail if and only if debug assertions are enabled
    // (that is, if this is not a release build):
    _ = Positive::new(0_i8);
}