Racket 如何在defproc中将技术用作合同？

有可能吗

@defproc[(foo) bar]{
  Blah blah
}

其中

bar

通过

deftech

定义，同时正确链接到

bar

？

是！使用

，

：

---

球拍用户列表中的这个问题可能会有帮助：

#lang scribble/manual

@defproc[(foo) #,(tech "bar")]{
  Blah blah
}

@section{What is bar?}

A @deftech{bar} is a baz.