Source code for codeviking.contracts

from ._version import __version__

from .argcheckers import Any, Is, Option, Seq, AllOf, Dict, Union, Seq, Eq, \
    Geq, Gt, Leq, Lt, Neq, Set

from .contracts import check_sig, contracts, precondition, postcondition, \
    invariant

from .types import NamedTuple