Source
Edit
This module provides further logic operators like 'forall' and 'exists' They are only supported in .ensures etc pragmas.
proc `->`(a, b: bool): bool {.magic: "Implies", ...raises: [], tags: [],
forbids: [].}
-
Source
Edit
proc `<->`(a, b: bool): bool {.magic: "Iff", ...raises: [], tags: [], forbids: [].}
-
Source
Edit
proc old[T](x: T): T {.magic: "Old", ...raises: [], tags: [], forbids: [].}
-
Source
Edit