Module symbols 

Macros

judg 🔒

uri 🔒

Structs

GenericBindPrep 🔒

GenericEquality 🔒

GenericInhabitable 🔒

GenericProof 🔒

GenericSimplification 🔒

GenericSubtyping 🔒

GenericTyping 🔒

GenericUniverse 🔒

Enums

Premise

Statics

BINDS

DOC_URI

EQUAL

HAS_PROOF

HAS_TYPE

INH

NAMESPACE

SIMPLIFY

SUBTYPE

UNIV

URI

Traits

GenericJudgment

Functions

parse

undo_implicits 🔒