(type: MemoryType)
| 1395 | } |
| 1396 | |
| 1397 | const getTypeLabel = (type: MemoryType) => { |
| 1398 | switch (type) { |
| 1399 | case 'fact': return 'Fact' |
| 1400 | case 'preference': return 'Preference' |
| 1401 | case 'instruction': return 'Instruction' |
| 1402 | } |
| 1403 | } |
| 1404 | |
| 1405 | const getTypeColor = (type: MemoryType) => { |
| 1406 | switch (type) { |