Feldspar.Lattice
class Lattice a
unions
intersections
lensedFixedPoint
lensedIndexedFixedPoint
fixedPoint
indexedFixedPoint
type Widening a
cutOffAt
boundedLensedFixedPoint