YAS representation mmdl(term)

Language

Dependencies

languages/MMDL: membership
- Representation mmdl(term)
- Goal eslLanguage
- File languages/MMDL/as.term
languages/MMDL: function
- Function diff
- Languages
  - Representation term
  - Representation term
- Representation mmdl(term)
- Goal mmdlDiff:diff
- Files: None
languages/MMDL: function
- Function applyDiff
- Languages
  - Representation mmdl(term)
  - Representation mml(term)
- Representation mml(term)
- Goal mmdlApply:apply
- Files: None
languages/MMDL: function
- Function invDiff
- Representation mmdl(term)
- Representation mmdl(term)
- Goal mmdlInv:inv
- Files: None
languages/MMDL: function
- Function applyDiff
- Languages
  - Representation mmdl(term)
  - Representation ddl(term)
- Representation ddl(term)
- Goal mmdlToDdl:apply
- Files: None

Files