rspace 0.0.0

rspace implements generic fields in support of so-called rulial space.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/*
    Appellation: default <test>
    Contrib: FL03 <jo3mccain@icloud.com>
*/

fn add<A, B, C>(a: A, b: B) -> C
where
    A: core::ops::Add<B, Output = C>,
{
    a + b
}

#[test]
fn compiles() {
    assert_eq!(add(10, 10), 20);
    assert_ne!(add(1, 1), 3);
}