compiler/io.github.aplcornell.viaduct.algebra.solver/Constraint

Constraint

sealed class Constraint<C, V, T>

A lattice constraint.