module Dhall::TypeChecker::OperatorListConcatenate::IsList

Public Class Methods

===(other) click to toggle source
# File lib/dhall/typecheck.rb, line 277
def self.===(other)
        other.is_a?(Dhall::Application) &&
                other.function == Builtins[:List]
end