racket - defprocでtechをコントラクトとして使用するにはどうすればよいですか?

Question

持つことは可能ですか

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

正しくリンクしている間、どこbarで経由して定義されていますか?deftechbar

Answer 1

はい！使用#,:

#lang scribble/manual

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

@section{What is bar?}

A @deftech{bar} is a baz.