voor alle

  • Naam: forall

  • Beschrijving: Voor alle ...

  • Parameters: forall(par1 : var)

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