gpt4 book ai didi

racket - 我如何在 defproc 中使用技术作为契约(Contract)?

转载 作者:行者123 更新时间:2023-12-01 00:09:42 24 4
gpt4 key购买 nike

有没有可能

@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.

关于racket - 我如何在 defproc 中使用技术作为契约(Contract)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59868837/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com