module NonDet where

-- Meta comment: For each function that outputs multiple answers, the order of
-- the answers does not matter, e.g., it is up to you which answer to output
-- first.


-- Integers from 0 to n-1. If n <= 0, there is no answer.
below :: Int -> Int
below = error "TODO"


-- Sublists of xs. This means:
-- If you pretend xs to be a [multi]set, then a sublist is like a subset,
-- but furthermore, its elements follow the same order as in xs.
--
-- Example: The sublists of [0,1,2] are:
-- [], [0], [1], [2], [0,1], [0,2], [1,2], [1,2,3]
sublist :: [a] -> [a]
sublist = error "TODO"