Path	Lines of Code
source/command/analyzeCommand.ml	331
source/command/analyzeCommand.mli	34
source/command/checkCommand.ml	235
source/command/checkCommand.mli	29
source/command/commandStartup.ml	175
source/command/commands.ml	11
source/command/inferCommand.ml	171
source/command/inferCommand.mli	17
source/command/serverCommand.ml	193
source/command/serverCommand.mli	23