YAS representation tbl(graph(term))
Language
Dependencies
- languages/BL: membership
- Representation tbl(graph(term))
- Goal mmlChecker
- File languages/BL/tbl.graph
- languages/BL: function
- Function mapping
- Representation bl(term)
- Representation tbl(graph(term))
- Goal blToTbl: (=>)
- Files: None
- languages/BL: function
- Function mapping
- Representation tbl(graph(term))
- Representation gbl(graph(term))
- Goal tblToGbl: (=>)
- Files: None