YAS representation btl(type(term))

Language

None

---

Dependencies

• languages/BTL/Prolog: membership
  • Representation btl(type(term))
  • Goal btlTyping:isType
  • Files: None
• languages/BTL/Prolog: function
  • Function typeOf
  • Representation btl(term)
  • Representation btl(type(term))
  • Goal btlTyping:typeOf
  • Files: None

---

Files

• languages/BTL/type.term

---