How can I use tech as a contract in defproc?

Question

Is it possible to have

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

where bar is defined via deftech while linking to bar correctly?

This question on the Racket Users list might help: [_HtDP data definitions in Scribble_](https://groups.google.com/d/msg/racket-users/J-x0C07b0V8/cRQRxam7NpYJ) — Alex Knauth, Jan 23 '20 at 13:26

score 4 · Accepted Answer · answered Jan 22 '20 at 21:56

4

Yes! Use #,:

#lang scribble/manual

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

@section{What is bar?}

A @deftech{bar} is a baz.

answered Jan 22 '20 at 21:56

1 Answers1