小编Val*_*lle的帖子

OCaml手册描述了"约束"关键字,该关键字可用于类型定义.但是,我无法弄清楚使用此关键字可以实现的任何用法.这个关键字什么时候有用？它可以用于删除多态类型变量吗？(这样一个模型中的'at变为t,模块可以用在一个functor参数中,它需要t而没有变量.)

出于某些原因,我想记录一个API,但我不想直接在源代码中编写文档,因为它现在已经广泛使用.我正在寻找一个文档生成器工具,它可以将文档文件作为输入,并且能够从源代码中获取函数原型并检查与文档的一致性.你知道任何可以做到这一点的工具吗？