文件名称：gospel-rtac:基于福音规范的运行时断言检查
文件大小：23KB
文件格式：ZIP
更新时间：2024-05-03 11:51:24
OCaml
福音书 基于福音的运行时断言检查 安装 opam pin add --yes https://github.com/pascutto/gospel-rtac.git opam install gospel-rtac 如果您想为该项目做出贡献，请阅读 。
【文件预览】：
gospel-rtac-main
----bin()
--------dune(138B)
--------cli.mli(29B)
--------cli.ml(1KB)
----test()
--------suite()
----dune-project(68B)
----.ocamlformat-ignore(20B)
----LICENSE(1KB)
----src()
--------dune(126B)
--------drv.mli(68B)
--------builder.ml(2KB)
--------drv.ml(658B)
--------gospel_rtac.mli(63B)
--------builder.mli(899B)
--------runtime()
--------gospel_rtac.ml(12KB)
----CHANGES.md(13B)
----gospel-rtac.opam(928B)
----.gitignore(47B)
----README.md(263B)
----.ocamlformat(41B)
----gospel-runtime.opam(701B)