Feldspar.Lattice

class Lattice a

unions

intersections

Computing fixed points

lensedFixedPoint

lensedIndexedFixedPoint

fixedPoint

indexedFixedPoint

type Widening a

cutOffAt

boundedLensedFixedPoint