typeCheckedTests/*.out
typeCheckedTests/*.cmo
typeCheckedTests/*.cmi
oprintTests/**/*.cmi
