Changeset 39 in code for trunk/lib/string_set.ml
- Timestamp:
- Dec 12, 2022, 10:52:55 PM (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/lib/string_set.ml
r3 r39 2 2 3 3 let list_of_csv x = Str.(split (regexp " *, *")) (String.trim x) 4 let of_string x = of_list (list_of_csv x) 4 let list_of_ssv x = Str.(split (regexp " +")) (String.trim x) 5 6 let of_string ?(separator=list_of_csv) x = of_list (separator x) 7 let of_csv_string x = of_string ~separator:list_of_csv x 8 let of_ssv_string x = of_string ~separator:list_of_ssv x 9 5 10 let to_string ?(pre="") ?(sep=", ") s = 6 11 let j a x = match a, x with "", _ -> x | _, "" -> a | _ -> a ^ sep ^ x in
Note:
See TracChangeset
for help on using the changeset viewer.