Module: DhallishGrammar::ForallLiteral0

Defined in:

lib/DhallishGrammar.rb

Instance Method Summary

• #lb ⇒ Object
• #res_type ⇒ Object
• #type ⇒ Object

Instance Method Details

#lb ⇒ Object

# File 'lib/DhallishGrammar.rb', line 2302

def lb
  elements[4]
end

#res_type ⇒ Object

# File 'lib/DhallishGrammar.rb', line 2310

def res_type
  elements[14]
end

#type ⇒ Object

# File 'lib/DhallishGrammar.rb', line 2306

def type
  elements[8]
end