Public variables and functions:

• register!
• spec->Type
• var-type

Public variables and functions:

• all
• bind-tv
• binder
• fcase
• fold-binders
• inst
• reduced-of
• spec-between
• tapp
• tfn
• tv

Public variables and functions:

• subtype-generator
• supertype-generator

Public variables and functions:

• *all-iterations*
• coerce-dotted-cat
• create-all
• create-bind-tv
• create-binder
• create-fcase
• create-fold-binders
• create-inst
• create-reduced-of
• create-spec-between
• create-tapp
• create-tfn
• create-tv
• expand-all
• expand-bind-tv
• expand-binder
• expand-fcase
• expand-fold-binders
• expand-inst
• expand-reduced-of
• expand-spec-between
• expand-tapp
• expand-tfn
• expand-tv
• generic-spec-impl
• prewalk
• sample-seq
• spec1-reify-body
• spec1-version-info-base
• spec2-reify-body
• spec2-version-info-base
• subst-binder
• subst-tv
• subst-tv-all-like
• subst-tv-op
• subst-tv-op-fold-binders
• subst-tv-op-tv
• walk

Public variables and functions:

• conform
• conform*
• describe
• explain*
• explain-data
• explain-out
• form
• gen
• gen*
• invalid-kw
• invalid?
• reg-resolve!
• resolve-spec
• valid?

Public variables and functions:

• IPoly
• ITypeFn

Public variables and functions:

• args-direct-subs*
• direct-sub-op
• direct-subtypes
• direct-supertypes
• register-distinct
• register-distincts
• register-sub
• register-subs
• rels

Public variables and functions:

• db
• distinct-rel
• find-all-sub-rels
• find-bots
• find-repeats
• find-tops
• populate-db-from-rels
• sub-rel
• sup-rel

Public variables and functions:

• is-invalid
• is-valid

Public variables and functions:

• create-spec
• expand-spec
• explicate
• resolve-spec

Public variables and functions:

• -spec-syntax->type
• register-spec-syntax->type-extension
• spec->type
• spec-syntax->type