manager.ml
bitwuzla-cxx
1 2 3 type t external create : unit -> t = "ocaml_bitwuzla_cxx_manager_new"
1 2 3
type t external create : unit -> t = "ocaml_bitwuzla_cxx_manager_new"