YAS representation tdl(term)

Language

Dependencies

languages/TDL: membership
- Representation tdl(term)
- Goal eslLanguage
- File languages/TDL/as.term
languages/TDL: function
- Function diff
- Languages
  - Representation term
  - Representation term
- Representation tdl(term)
- Goal tdlDiff:diff
- Files: None
languages/TDL: function
- Function applyDiff
- Languages
  - Representation tdl(term)
  - Representation term
- Representation term
- Goal tdlApply:apply
- Files: None
languages/TDL: function
- Function invDiff
- Representation tdl(term)
- Representation tdl(term)
- Goal tdlInv:inv
- Files: None

Files