Nimi: exists

Kirjeldus: on olemas

Parameetrid: exists(par1 : muutuja)

Näide: x->piecewise { exists(t:t@list { true, false, false }) ? 1, ? 0 }