Method: Dhall::TypeChecker::Application#initialize

Defined in:
lib/dhall/typecheck.rb

#initialize(app) ⇒ Application

Returns a new instance of Application.



949
950
951
952
953
 
# File 'lib/dhall/typecheck.rb', line 949

def initialize(app)
	@app = app
	@func = TypeChecker.for(app.function)
	@arg = app.argument
end