| 1491 |
|
|
| 1492 |
module Atom = struct |
module Atom = struct |
| 1493 |
let has_atom d a = Atoms.contains a d.atoms |
let has_atom d a = Atoms.contains a d.atoms |
| 1494 |
|
let get d = d.atoms |
| 1495 |
end |
end |
| 1496 |
|
|
| 1497 |
module Char = struct |
module Char = struct |
| 1498 |
let has_char d c = Chars.contains c d.chars |
let has_char d c = Chars.contains c d.chars |
| 1499 |
let any = { empty with chars = Chars.any } |
let any = { empty with chars = Chars.any } |
| 1500 |
|
let get d = d.chars |
| 1501 |
end |
end |
| 1502 |
|
|
| 1503 |
let print_stat ppf = |
let print_stat ppf = |
Parent Directory
| 
Revision Log
| 
Patch