# Caml files generated by extraction
*.mli
*.ml
# Extraction timestamp
STAMP
