Class: Dhall::TypeChecker::LetInAnnotated

Inherits:
LetIn
  • Object
show all
Defined in:
lib/dhall/typecheck.rb

Method Summary

Methods inherited from LetIn

#annotate, for, #initialize

Constructor Details

This class inherits a constructor from Dhall::TypeChecker::LetIn