#lang scheme/base (require "a-sig.ss" "b-sig.ss" "a-unit.ss" "b-unit.ss") (require scheme/unit) (define-compound-unit/infer both@ (import) (export a^ b^) (link a@ b@)) (provide both@)