#lang preserves-schema #:plugin syndicate/schema-compiler
# SPDX-License-Identifier: LGPL-3.0-or-later
# SPDX-FileCopyrightText: Copyright © 2021-2023 Tony Garnock-Jones <tonyg@leastfixedpoint.com>

version 1 .

BoxState = <BoxState @value int>.
SetBox = <SetBox @value int>.

# BoxCap = BoxState / <Observe =SetBox @observer embedded>.
# ClientCap = SetBox / <Observe =BoxState @observer embedded>.
.