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