canrun_collections 0.1.0

Collection related types and goal constructors for the Canrun crate
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! Example domains for Canrun collections
use crate::lmap::LMap;
use crate::lvec::LVec;

canrun::domain! {
    pub Collections {
        i32,
        LMap<i32, i32>,
        LVec<i32>
    }
}