Astral_internal.Translation
module Make (Encoding : Translation_sig.ENCODING) (Solver : Backend_sig.BACKEND) : sig ... end