Module type `Solver_intf.Lattices`

A collection of lattices, indexed by obj;

type 'a obj

Lattice identifers, indexed by 'a the carrier type of that lattice

type 'a elt

An element in a lattice whose carrier type is 'a.

val min : 'a obj -> 'a elt

val max : 'a obj -> 'a elt

val le : 'a obj -> 'a elt -> 'a elt -> bool

val join : 'a obj -> 'a elt -> 'a elt -> 'a elt

val meet : 'a obj -> 'a elt -> 'a elt -> 'a elt

val print : 'a obj -> Stdlib.Format.formatter -> 'a elt -> unit

val eq_obj : 'a obj -> 'b obj -> ('a, 'b) Misc.eq option

val print_obj : Stdlib.Format.formatter -> 'a obj -> unit

Module type Solver_intf.Lattices