Module type Dataflow.LATTICE

module type LATTICE = sig .. end

Lattice

type l

element type

val bot : l

BOTTOM of the lattice

val top : l

TOP of the lattice

val meet : l -> l -> l

meet operator

val compare : l -> l -> int

partial order between Dataflow.LATTICE.ls

val to_s : l -> string

convert Dataflow.LATTICE.l to string

Web Accessibility