curry.typecheck package
=======================

.. automodule:: curry.typecheck
   :members:
   :show-inheritance:
   :undoc-members:

Submodules
----------

.. toctree::
   :maxdepth: 4

   curry.typecheck.builder
   curry.typecheck.defaulting
   curry.typecheck.engine
   curry.typecheck.errors
   curry.typecheck.exprtype
   curry.typecheck.goals
   curry.typecheck.instances
   curry.typecheck.serialize
   curry.typecheck.sigtable
   curry.typecheck.terms
   curry.typecheck.unify