repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use repr::wrappers::seq;

#[test]
fn inclusion() {
    assert!(seq(['a']).le(&seq(['a']).or(seq(['b']))));
    assert!(seq(['b']).le(&seq(['a']).or(seq(['b']))));
    assert!(
        seq(['a'])
            .or(seq(['b']))
            .le(&seq(['a']).or(seq(['b'])).or(seq(['c'])))
    );
    // TODO(rinarakaki)
    // assert!(seq(['b']).or(seq(['c'])).le(&seq(['a']).or(seq(['b'])).or(seq(['c']))));
}

#[test]
fn le_reflexivity() {
    assert!(seq(['a']).le(&seq(['a'])));
}