2021-01-02 23:19:42 +00:00
|
|
|
import {UIEventSource} from "../UIEventSource";
|
|
|
|
|
|
|
|
|
|
export default interface FeatureSource {
|
2021-01-03 02:09:52 +00:00
|
|
|
features: UIEventSource<{feature: any, freshness: Date}[]>;
|
2021-04-23 10:55:38 +00:00
|
|
|
/**
|
|
|
|
|
* Mainly used for debuging
|
|
|
|
|
*/
|
|
|
|
|
name: string;
|
2021-01-02 23:19:42 +00:00
|
|
|
}
|
