YAS representation ddl(term)

Language

Dependencies

languages/DDL: function
- Function parse
- Representation ddl(text)
- Representation ddl(term)
- Goal eglParser(ddlAbstract: (~>))
- Files
  - File languages/DDL/cs.term
  - File languages/DDL/ls.term
languages/DDL: membership
- Representation ddl(term)
- Goal eslLanguage
- File languages/DDL/as.term
languages/DDL: equivalence
- Representation ddl(term)
- Goal ddlEq:eq
- Files: None
languages/MMDL: function
- Function applyDiff
- Languages
  - Representation mmdl(term)
  - Representation ddl(term)
- Representation ddl(term)
- Goal mmdlToDdl:apply
- Files: None
languages/MML: function
- Function mmlToDdl
- Representation ddl(mml(term))
- Representation ddl(term)
- Goal mmlToDdl:classesToTables
- Files: None

Files