Interface PikeMappingType

interface PikeMappingType {
    indexType?: PikeType;
    kind: "mapping";
    valueType?: PikeType;
}