SATySFi-assert-eq is SATySFi packages that provides function as the Rust's assert_eq! macro.
opam pin add "git+https://github.com/puripuri2100/SATySFi-assert-eq.git"
opam install satysfi-assert-eq
satyrographos install
This software released under the MIT license.
Copyright (c) 2020 Naoki Kaneko (a.k.a. "puripuri2100")