Astral_internal.SingleQuerySolver
module Make (Encoding : Translation_sig.ENCODING) (Backend : Backend_sig.BACKEND) : sig ... end