Type Alias: Expr\<T\>

type Expr<T> = 0 extends 1 & T ? DynExpr : unknown extends T ? DynExpr : [NonNullable<T>] extends [never] ? DynExpr : [NonNullable<T>] extends [CelInt] ? IntExpr : [NonNullable<T>] extends [number] ? NumExpr : [NonNullable<T>] extends [string] ? StrExpr<NonNullable<T> & string> : [NonNullable<T>] extends [boolean] ? BoolExpr : [NonNullable<T>] extends [Cited<infer B>] ? VersionExpr<B> : [NonNullable<...>] extends [ReadonlyArray<...>] ? ListExpr<E> : [...] extends [...] ? ObjExpr<...> : DynExpr;