YAS representation expr(graph(term))

Language

None

---

Dependencies

• samples/obsolete/expr: membership
  • Representation expr(graph(term))
  • Goal mmlChecker
  • File samples/obsolete/expr/mm.graph

---

Files

• samples/obsolete/expr/sample.graph

---