package electrod

  1. Overview
  2. Docs

Computation of bounds for Ast expressions.

type bounds = {
  1. must : Tuple_set.t;
  2. sup : Tuple_set.t;
  3. may : Tuple_set.t;
}
val 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)

OCaml

Innovation. Community. Security.