std/logic

Source   Edit  

This module provides further logic operators like 'forall' and 'exists' They are only supported in .ensures etc pragmas.

Procs

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 exists(args: varargs[untyped]): bool {.magic: "Exists", ...raises: [],
    tags: [], forbids: [].}
Source   Edit  
proc forall(args: varargs[untyped]): bool {.magic: "Forall", ...raises: [],
    tags: [], forbids: [].}
Source   Edit  
proc old[T](x: T): T {.magic: "Old", ...raises: [], tags: [], forbids: [].}
Source   Edit