module Dhall::TypeChecker::Forall::FunctionKind
Public Class Methods
for(inkind, outkind)
click to toggle source
# File lib/dhall/typecheck.rb, line 880 def self.for(inkind, outkind) if inkind.nil? || outkind.nil? raise TypeError, "FunctionType part of this is a term" end if outkind.zero? Term.new else Polymorphic.new(inkind, outkind) end end