Type System Base Class: Module ``type_system``
==============================================

These classes provide the type system mechanism.

.. inheritance-diagram:: pyrser.type_system.Scope pyrser.type_system.TypeName pyrser.type_system.Symbol pyrser.type_system.Signature pyrser.type_system.EvalCtx pyrser.type_system.Scope pyrser.type_system.Tuple pyrser.type_system.Type pyrser.type_system.Var pyrser.type_system.Val pyrser.type_system.Fun pyrser.type_system.Translator pyrser.type_system.MapSourceTranslate pyrser.type_system.MapTargetTranslate pyrser.type_system.Inference pyrser.type_system.InferNode
.. automodule:: pyrser.type_system
    :members:
    :undoc-members: