Module type BaseDomain.ExpEvaluator

type t
val to_value_domain_ask : t -> ValueDomainQueries.t