Prune.S
type v
type d
module Var : ConstrSys.VarType with type t = v
Variables must be hashable, comparable, etc.
module Dom : Lattice.S with type t = d
Values must form a lattice.
val system : v -> ((v -> d) -> (v -> d -> unit) -> d) option
The system in functional form.
val sys_change : (v -> d) -> v ConstrSys.sys_change_info
Compute incremental constraint system change from old solution.