Interface pipe<T>

interface pipe<T> {
    codec: {
        extend<B>(
            premap: (b: B) => T["_type" & keyof T],
        ): Extend<T["_type" & keyof T], T["_type" & keyof T], T, B>;
        pipe<B>(
            map: (src: T["_type" & keyof T]) => B,
        ): Pipe<T["_type" & keyof T], T["_type" & keyof T], T, B>;
    };
}