feat(input): add optional per-field Literal typing mode - #574

feat(input): add optional per-field Literal typing mode#574

AsafMah wants to merge 1 commit into

LeanBitLab:mainLeanBitLab/LeanType:mainfrom

AsafMah:asafmah-upstream-literal-typingAsafMah/LeanType:asafmah-upstream-literal-typingCopy head branch name to clipboard