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