1//Provides: caml_unix_times
2function caml_unix_times() {
3 return 4.2
4}
5
6//Provides: ml_merlin_fs_exact_case_basename
7function ml_merlin_fs_exact_case_basename(str) {
8 return 0
9}
10
11//Provides: ml_merlin_fs_exact_case
12function ml_merlin_fs_exact_case(str) {
13 return str
14}