Interface Criterion<TimeVal, SI, RI, T, N>

interface Criterion<
    TimeVal,
    SI extends Id,
    RI extends Id,
    T extends Ordered<T>,
    N extends string,
> {
    initialValue: T;
    name: N;
    update: (
        prefixJourney: Journey<TimeVal, SI, RI, T, [[T, N]]>,
        newJourneyStep: Omit<
            JourneyStep<TimeVal, SI, RI, T, [[T, N]]>,
            "label" | keyof Comparable<never>,
        >,
        time: TimeVal,
        stop: SI,
    ) => T;
}