Astral_internal.Translation_sig
module type QUANTIFIER_ENCODING = sig ... end
module type ENCODING = sig ... end