]> gerrit.simantics Code Review - simantics/platform.git/blob - CHRSelect1.scl
63ea561b207f44b06f0c611358848b9718980ec9
[simantics/platform.git] / CHRSelect1.scl
1 module {
2     features = [chr]
3 }
4 import "StandardLibrary"
5
6 main = select (?a,?b) where
7     ?a <- [1,2,3]
8     ?b <- [2,3,4]
9 --
10 [(1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,2), (3,3), (3,4)]