How can I use tech as a contract in defproc?

50 Views Asked by At

Is it possible to have

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

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

1

There are 1 best solutions below

0
Sorawee Porncharoenwase On BEST ANSWER

Yes! Use #,:

#lang scribble/manual

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

@section{What is bar?}

A @deftech{bar} is a baz.