(type: MemoryType)
| 1315 | } |
| 1316 | |
| 1317 | const getTypeLabel = (type: MemoryType) => { |
| 1318 | switch (type) { |
| 1319 | case 'fact': return 'Fact' |
| 1320 | case 'preference': return 'Preference' |
| 1321 | case 'instruction': return 'Instruction' |
| 1322 | } |
| 1323 | } |
| 1324 | |
| 1325 | const getTypeColor = (type: MemoryType) => { |
| 1326 | switch (type) { |