ppx_import:减少类型声明和签名中的冗余

[％％进口] import是一个语法扩展，它允许从其他已编译的接口文件中提取类型或签名。 由赞助。 安装 导入可以通过安装： $ opam install ppx_import 用法 为了使用import ，需要包ppx_import 。 使用来自Dune的ppx_import 要使用Dune的ppx_import ，应使用字段声明预处理规范。 例子： (library (name foo) (preprocess (staged_pps ppx_import ppx_deriving.show)) 句法 单一声明 例如： # type loc = [ % import: Location. t];; type loc = Location .t = { loc_start : Lexing .position ; loc_end : Lexing .position