//Provides: caml_unix_times function caml_unix_times() { return 4.2 } //Provides: ml_merlin_fs_exact_case_basename function ml_merlin_fs_exact_case_basename(str) { return 0 } //Provides: ml_merlin_fs_exact_case function ml_merlin_fs_exact_case(str) { return str }