Как я могу использовать технологию как контракт в defpro c?

Question

Возможно ли иметь

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

, где bar определяется через deftech при правильной связи с bar?

Answer 1

Да! Используйте #,:

#lang scribble/manual

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

@section{What is bar?}

A @deftech{bar} is a baz.