☰

# std/logic

Theme:

- Manual
- Standard library
- Index
- Compiler docs
- Fusion docs
- devel, stable

Search:
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