MainFunctor.RVEval
type t = BaseComponents(Priv.D).t
val to_value_domain_ask : t -> ValueDomainQueries.t