Lines Matching defs:present
11 fun present n = OS.FileSys.access(n, [OS.FileSys.A_READ])
19 (fn () => List.all (not o present)
23 (fn () => List.all present ["foo", "bar", "master"]);
25 (fn () => List.all (not o present)
28 (fn () => List.all present ["foo", "simpleTheory.sig",
34 (fn () => not (present "simpleTheory.sml"));
37 (fn () => not (present "simpleTheory.sml"));
40 (fn () => not (present "simpleTheory.sml"));
43 (fn () => present "simpleTheory.sml");
48 (fn () => present "simpleTheory.sml");
53 (fn () => present "simpleTheory.sml")