YAS representation exprRelaxed(graph(term))

Language

None

---

Dependencies

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

---

Files

• samples/obsolete/expr/editing/new-expr.graph
• samples/obsolete/expr/exprRelaxed/sample.graph

---