Module Core.LatticeSource

Interface of lattice structures

Sourcemodule type LATTICE = sig ... end

Signature of a lattice module.

Sourcetype 'a lattice = {
  1. bottom : 'a;
  2. top : 'a;
  3. is_bottom : 'a -> bool;
  4. subset : 'a Context.ctx -> 'a -> 'a -> bool;
  5. join : 'a Context.ctx -> 'a -> 'a -> 'a;
  6. meet : 'a Context.ctx -> 'a -> 'a -> 'a;
  7. widen : 'a Context.ctx -> 'a -> 'a -> 'a;
  8. merge : 'a -> ('a * Change.change_map) -> ('a * Change.change_map) -> 'a;
  9. print : Print.printer -> 'a -> unit;
}

Lattice operators