Astral_internal.Smtlib_backend_builder
module Make (Backend : Backend_sig.SMTLIB_BACKEND) : Backend_sig.BACKEND