type ResolveLexicon = T extends keyof Records ? InferInput<Records[T]> : { $type: T; }

Resolves a lexicon name to its record operation.