kdrag.theories.algebra.lattice

Classes

SemiLattice(*L)

class kdrag.theories.algebra.lattice.SemiLattice(*L)

Bases: TypeClass

assert_eq(a, b)

check(T)

classmethod get_registry() → dict

Return type:: dict

idem: Proof

key: SortRef

classmethod lookup(*L)

classmethod register(*L, **kwargs)