All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
is_zero, is_one, is_all_ones predicates on generic integers.S.ty to S.int_ty (in accordance with generic_int_ty).S.of_int and S.of_string which return option instead of raising an exception.alcotest.S.ty for getting a type representation (int_ty).ocaml and ctypes-foreign in dune-project.