class Dhall::TypeChecker::LetInAnnotated
Protected Instance Methods
assign_type(context)
click to toggle source
# File lib/dhall/typecheck.rb, line 1008 def assign_type(context) TypeChecker.for( Dhall::TypeAnnotation.new( value: @let.assign, type: @let.type ) ).annotate(context).type end