2021-06-03 21:22:46 +00:00
|
|
|
#lang preserves-schema #:plugin syndicate/schema-compiler
|
2021-06-04 14:20:14 +00:00
|
|
|
;;; SPDX-License-Identifier: LGPL-3.0-or-later
|
|
|
|
;;; SPDX-FileCopyrightText: Copyright © 2021 Tony Garnock-Jones <tonyg@leastfixedpoint.com>
|
2021-06-03 21:22:46 +00:00
|
|
|
|
2021-05-27 08:36:35 +00:00
|
|
|
version 1 .
|
|
|
|
|
|
|
|
BoxState = <BoxState @value int>.
|
|
|
|
SetBox = <SetBox @value int>.
|
|
|
|
|
|
|
|
; BoxCap = BoxState / <Observe =SetBox @observer embedded>.
|
|
|
|
; ClientCap = SetBox / <Observe =BoxState @observer embedded>.
|
|
|
|
.
|