YAS representation rfl2(graph(term))

Language

FL

---

Dependencies

• languages/FL/RFL2: membership
  • Representation rfl2(graph(term))
  • Goal mmlChecker
  • File languages/FL/RFL2/mm.graph

---

Files

None

---