YAS representation mldf(graph(term))

Language

None

---

Dependencies

• languages/MLDF: membership
  • Representation mldf(graph(term))
  • Goal mmlChecker
  • File languages/MLDF/mm.graph

---

Files

None

---