Method: Dhall::TypeChecker::EmptyAnonymousType#annotate

Defined in:
lib/dhall/typecheck.rb

#annotate ⇒ Object 



494
495
496
497
498
499
 
# File 'lib/dhall/typecheck.rb', line 494

def annotate(*)
  Dhall::TypeAnnotation.new(
    value: @expr,
    type:  Builtins[:Type]
  )
end