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