module DhallishGrammar::ForallLiteral0

Public Instance Methods

lb() click to toggle source
# File lib/DhallishGrammar.rb, line 2302
def lb
  elements[4]
end
res_type() click to toggle source
# File lib/DhallishGrammar.rb, line 2310
def res_type
  elements[14]
end
type() click to toggle source
# File lib/DhallishGrammar.rb, line 2306
def type
  elements[8]
end