kdrag.theories.algebra.topology

Classes

Topology(*L)

class kdrag.theories.algebra.topology.Topology(*L)

Bases: TypeClass

assert_eq(a, b)

check(T)

classmethod get_registry() → dict

Return type:

dict

key: SortRef

classmethod lookup(*L)

open_Int: Proof

open_UNIV: Proof

open_Union: Proof

classmethod register(*L, **kwargs)