org.dhallj.core.typechecking

Classes

• Context
• TypeCheck

Enums

• Universe

Exceptions

• TypeCheckFailure