Verifiable and unverifiable operations for primitive types

Back to top button