function associmport { assoc } from "https://dotland.deno.dev/x/rambda@9.4.1/files/index.d.ts"; assoc<K extends PropertyKey>(prop: K): { <T>(val: T): <U extends Record<K, T>>(obj: U) => U; <U extends Record<K, T>, T>(val: T, obj: U): U; }assoc<T, K extends PropertyKey>(prop: K, val: T): { <U>(obj: U): U extends Record<K, any> ? U[K] extends T ? U : Record<K, T> & Omit<U, K> : U & Record<K, T>; }assoc<U, K extends keyof U, T extends U[K]>(prop: K,val: T,obj: U,): UType ParametersK extends PropertyKeyParametersprop: KReturns{ <T>(val: T): <U extends Record<K, T>>(obj: U) => U; <U extends Record<K, T>, T>(val: T, obj: U): U; }Type ParametersTK extends PropertyKeyParametersprop: Kval: TReturns{ <U>(obj: U): U extends Record<K, any> ? U[K] extends T ? U : Record<K, T> & Omit<U, K> : U & Record<K, T>; }Type ParametersUK extends keyof UT extends U[K]Parametersprop: Kval: Tobj: UReturnsU