Source file bitwuzla_cxx__.ml

(* generated by dune *)

(** @canonical Bitwuzla_cxx.Kind *)
module Kind = Bitwuzla_cxx__Kind

(** @canonical Bitwuzla_cxx.Manager *)
module Manager = Bitwuzla_cxx__Manager

(** @canonical Bitwuzla_cxx.Options *)
module Options = Bitwuzla_cxx__Options

(** @canonical Bitwuzla_cxx.Result *)
module Result = Bitwuzla_cxx__Result

(** @canonical Bitwuzla_cxx.RoundingMode *)
module RoundingMode = Bitwuzla_cxx__RoundingMode

(** @canonical Bitwuzla_cxx.Solver *)
module Solver = Bitwuzla_cxx__Solver

(** @canonical Bitwuzla_cxx.Sort *)
module Sort = Bitwuzla_cxx__Sort

(** @canonical Bitwuzla_cxx.Term *)
module Term = Bitwuzla_cxx__Term

module Bitwuzla_cxx__ = struct end
[@@deprecated "this module is shadowed"]