Changeset 39 in code for trunk/cli/conversion.ml


Ignore:
Timestamp:
Dec 12, 2022, 10:52:55 PM (2 years ago)
Author:
fox
Message:

Read References field; referred by listing; test & tidy documentation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/cli/conversion.ml

    r20 r39  
    11open Logarion
     2
     3module Ref_set = Set.Make(String)
     4module Id_map = Map.Make(String)
     5
    26type t = {
    37        id: string;
     
    610        topic_roots: string list;
    711        topics: (String_set.t * String_set.t) Topic_set.Map.t;
     12        references: Ref_set.t Id_map.t;
    813        texts: Text.t list
    914}
     
    2025        topic_roots = [];
    2126        topics = Topic_set.Map.empty;
     27        references = Id_map.empty;
    2228        texts = []
    2329}
Note: See TracChangeset for help on using the changeset viewer.