module NotatieZF

import StdEnv

g1 :: // meest algemene type
g1 as bs = [(a,b) \\ a <- as, b <- bs]

g2 :: // meest algemene type
g2 as bs = [(a,b) \\ a <- as & b <- bs]

g3 :: // meest algemene type
g3 as bs = [(a,b) \\ a <- as, b <- bs | a <> b]

g4 :: // meest algemene type
g4 as bs = [a \\ a <- as, b <- bs | a == b]

g5 :: // meest algemene type
g5 xss = [x \\ xs <- xss, x <- xs]

g6 :: // meest algemene type
g6 a xs = [i \\ i <- [0 ..] & x <- xs | a == x]