moogle 0.4.4

data structures for relational code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

pub fn unique(
    items: Vec<u16>
) -> bool {
    use std::iter::FromIterator;

    // no duplicate pairs
    std::collections::BTreeSet::from_iter(items.iter()).len() == items.len() 
}

pub fn correct_len(
    items: Vec<u16>,
    l: usize,
) -> bool {
    items.len() == l
}