bitvector-mk

位向量 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