Type Alias Keys<Key, Parameter>

Keys: {
    readonly [K in Key]: K extends keyof Parameter
        ? Schema.Codec<Parameter[K], Json>
        : null
}

How a program holds its keys: for each name, the schema of its parameter, or null for a key without one. A declaration lists them, and program and part make this record of the list (decisions 0132, 0197).