Class: Dhall::TypeChecker::Forall::FunctionKind::Term

Inherits:
Object
  • Object
show all
Defined in:
lib/dhall/typecheck.rb

Instance Method Summary collapse

Instance Method Details

#kind ⇒ Object 



893
894
895
 
# File 'lib/dhall/typecheck.rb', line 893

def kind
	KINDS.first
end