DomFunctor.ExpEval
type t = BaseComponents(PrivD).t
val to_value_domain_ask : t -> ValueDomainQueries.t