2020-04-10 04:04:13 +02:00
|
|
|
/**
|
|
|
|
* Entities extending this one have a user-maintained description.
|
|
|
|
*/
|
2021-01-06 02:35:46 +01:00
|
|
|
interface DescribableEntityInterface {
|
2020-04-10 04:04:13 +02:00
|
|
|
/**
|
|
|
|
* a text describing this entity
|
|
|
|
*/
|
|
|
|
description: string;
|
|
|
|
}
|