kdrag.theories.algebra.ordering

Classes

class kdrag.theories.algebra.ordering.PreOrder(*L)

Bases: TypeClass

assert_eq(a, b)

check(T)

classmethod get_registry() → dict

Return type:: dict

key: SortRef

less_le_not_le: alias of Proof

classmethod lookup(*L)

refl: Proof

classmethod register(*L, **kwargs)

trans: Proof