Changeset 39 in code for trunk/cli/conversion.ml
- Timestamp:
- Dec 12, 2022, 10:52:55 PM (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/cli/conversion.ml
r20 r39 1 1 open Logarion 2 3 module Ref_set = Set.Make(String) 4 module Id_map = Map.Make(String) 5 2 6 type t = { 3 7 id: string; … … 6 10 topic_roots: string list; 7 11 topics: (String_set.t * String_set.t) Topic_set.Map.t; 12 references: Ref_set.t Id_map.t; 8 13 texts: Text.t list 9 14 } … … 20 25 topic_roots = []; 21 26 topics = Topic_set.Map.empty; 27 references = Id_map.empty; 22 28 texts = [] 23 29 }
Note:
See TracChangeset
for help on using the changeset viewer.