definition module ZFZoek

import StdEnv

(??) infixl 9 :: ![a] !a -> Int | Eq a