如何在 defproc 中将 tech 用作合同？
How can I use tech as a contract in 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.
是否可以
@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.