class Dhall::TypeChecker::EmptyAnonymousType
Public Class Methods
new(expr)
click to toggle source
# File lib/dhall/typecheck.rb, line 490 def initialize(expr) @expr = expr end
Public Instance Methods
annotate(*)
click to toggle source
# File lib/dhall/typecheck.rb, line 494 def annotate(*) Dhall::TypeAnnotation.new( value: @expr, type: Builtins[:Type] ) end