Type Alias: ObjExpr\<T\>

type ObjExpr<T> = CelExpr<T> & { readonly [K in keyof T & string]-?: Expr<T[K]> };