Method: Dhall::TypeChecker.type_of

Defined in:
lib/dhall/typecheck.rb

.type_of(expr) ⇒ Object 



50
51
52
 
# File 'lib/dhall/typecheck.rb', line 50

def self.type_of(expr)
	annotate(expr)&.type
end