Interface SignalClaim<T>

interface SignalClaim<T> {
    becomes: Predicates<T>;
    label?: string;
    never: Predicates<T>;
    sig: Read<T>;
    stays: Predicates<T>;
}