exists

  • Name: exists

  • Beschreibung: Existenz

  • Parameter: exists(par1 : var)

  • Beispiel: x->piecewise { exists(t:t@list { true, false, false }) ? 1, ? 0 }