Contract
Core
Blue ID: AERp8BWnuUsjoPciAeNXuUWS9fmqPNMdWbxmKn3tcitx
Core type of Blue Language v1.0 (see https://language.blue). Base for all contracts (channels, handlers, markers). Contracts live under a scope's contracts map (keyed by Text). At runtime, contract processors execute deterministically and only through explicit operations; there are no implicit side effects.
Type Definition
YAML representation of the type document
Loading...