文件名称：bitvector-mk
文件大小：25KB
文件格式：ZIP
更新时间：2024-04-21 01:49:47
OCaml
位向量 opam pin add GT https://github.com/Kakadu/GT.git\#dune8 -ny opam pin add OCanren https://github.com/Kakadu/OCanren.git\#dune8+pat-match -ny opam pin add OCanren-ppx https://github.com/Kakadu/OCanren.git\#dune8+pat-match -ny opam install GT OCanren OCanren-ppx -y
【文件预览】：
bitvector-mk-master
----dune(253B)
----opam(408B)
----dune-project(46B)
----main.ml(12KB)
----LICENSE(26KB)
----s.ml(6KB)
----.gitignore(293B)
----rewriter()
--------dune(430B)
--------pp.ml(0B)
----Makefile(312B)
----demo()
--------arith.ml(18KB)
--------dune(618B)
--------arith2.ml(8KB)
--------d.ml(6KB)
----README.md(300B)
----.ocamlformat(0B)