Package org.dhallj.core.typechecking

Class Summary

Class	Description
Context
TypeCheck

Enum Summary

Enum	Description
Universe

Exception Summary

Exception	Description
TypeCheckFailure