module DhallishGrammar::ForallLiteral1
Public Instance Methods
to_node()
click to toggle source
# File lib/DhallishGrammar.rb, line 2316 def to_node() Dhallish::Ast::FunctionType.new(type.to_node(), res_type.to_node(), lb.text_value) end