Method: Dhall::List#element_type

Defined in:
lib/dhall/ast.rb

#element_type ⇒ Object 



442
443
444
445
446
447
448
449
 
# File 'lib/dhall/ast.rb', line 442

def element_type
	if type.nil?
	elsif type.is_a?(Application) && type.function == Builtins[:List]
		type.argument
	else
		raise "Cannot get element_type of: #{type.inspect}"
	end
end