-- Benchmarks for non-deterministic computations
:load NonDet

member 0 []
member 0 (0:[])
member 1 (0:[])
member 0 (1:0:[])
permute []
permute (1:[])
permute (1:2:[])
permute (1:2:3:[])

--member 0 (1:2:3:4:5:6:[])