/**
 * A description of a map.
 */
export interface MapInfo {
    /**
     * The width in game tiles of the map.
     */
    width: number;
    /**
     * The height in game tiles of the map.
     */
    height: number;
    /**
     * The name of the map.
     */
    name: string;
}