Module Libelectrod.Exp_boundsSource

Computation of bounds for Ast expressions.

Sourcetype bounds = {
  1. must : Tuple_set.t;
  2. sup : Tuple_set.t;
  3. may : Tuple_set.t;
}
Sourceval make_bounds_exp : Domain.t -> (Elo.exp * Tuple.t list) -> bounds

Computes the must/may/sup bounds of an expression exp, given the domain and a substitution subst (substituting a tuple for a DB index)