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