YAS representation bstl(term)

Language

BSTL

---

Dependencies

• languages/BSTL: membership
  • Representation bstl(term)
  • Goal eslLanguage
  • File languages/BSTL/as.term
• languages/BSTL: membership
  • Representation bstl(term)
  • Goal eslLanguage
  • File languages/BSTL/as.term
• languages/BSTL: function
  • Function interpret
  • Languages
    • Representation bstl(term)
    • Representation bsl(term)
  • Representation bsl(term)
  • Goal bstlSig:interpret
  • Files: None
• languages/BSTL: function
  • Function interpret
  • Languages
    • Representation bstl(term)
    • Representation term
  • Representation term
  • Goal bstlTerm:interpret
  • Files: None

---

Files

• languages/BSTL/tests/trafo1.term

---