Jednojezični primeri (nisu ih verifikovali PONS urednici)
italijanski
Gli "opaque predicates" sono porzioni di codice che restituiscono un valore booleano predeterminato che, per qualche ragione, necessita di essere calcolato a run-time.
Si vede facilmente che tale funzione è effettivamente una funzione di chiusura, cioè che si tratta di una endofunzione di booleano ampliante, monotona e idempotente.