Changeset 39 in code for trunk/lib/id.ml
- Timestamp:
- Dec 12, 2022, 10:52:55 PM (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/lib/id.ml
r3 r39 13 13 14 14 type t = string 15 let compare = String.compare 15 let compare = String.compare 16 16 let nil = "" 17 17
Note:
See TracChangeset
for help on using the changeset viewer.