templates

1 files changed, 449 insertions, 186 deletions

diff --git a/src/sdp/ao_abstract_doc_source.d b/src/sdp/ao_abstract_doc_source.d
index 8b1d4cf..cd121c5 100644
--- a/src/sdp/ao_abstract_doc_source.d
+++ b/src/sdp/ao_abstract_doc_source.d
@@ -225,9 +225,9 @@ template SiSUdocAbstraction() {
     ) {
       debug(asserts){
         static assert(is(typeof(markup_sourcefile_content) == char[][]));
-        static assert(is(typeof(dochead_make_aa) == string[string][string]));
-        static assert(is(typeof(dochead_meta_aa) == string[string][string]));
-        static assert(is(typeof(opt_action_bool) == bool[string]));
+        static assert(is(typeof(dochead_make_aa)           == string[string][string]));
+        static assert(is(typeof(dochead_meta_aa)           == string[string][string]));
+        static assert(is(typeof(opt_action_bool)           == bool[string]));
       }
       /+ ↓ abstraction init +/
       scope(success) {
@@ -1531,28 +1531,40 @@ template SiSUdocAbstraction() {
       /+ post loop markup document/text ↑ +/
     } /+ ← closed: abstract doc source +/
     /+ ↓ abstraction functions +/
-    auto object_reset(ref string[string] an_object) {
+    auto object_reset(O)(ref O an_object) {
+      debug(asserts){
+        static assert(is(typeof(an_object) == string[string]));
+      }
       an_object.remove("body_nugget");
       an_object.remove("substantive");
       an_object.remove("is");
       an_object.remove("attrib");
       an_object.remove("bookindex_nugget");
     }
-    auto _common_reset_(
-      ref int[string]    line_occur,
-      ref string[string] an_object,
-      ref int[string]    type
+    auto _common_reset_(L,O,T)(
+      ref L line_occur,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line_occur) == int[string]));
+        static assert(is(typeof(an_object)  == string[string]));
+        static assert(is(typeof(type)       == int[string]));
+      }
       line_occur["heading"] = State.off;
       line_occur["para"]    = State.off;
       type["heading"]       = State.off;
       type["para"]          = State.off;
       object_reset(an_object);
     }
-    void _check_ocn_status_(
-      char[]          line,
-      ref int[string] type
+    void _check_ocn_status_(L,T)(
+      L     line,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line) == char[]));
+        static assert(is(typeof(type) == int[string]));
+      }
       if ((!line.empty) && (type["ocn_status_multi_obj"] == TriState.off)) {
         /+ not multi-line object, check whether obj_cite_number is on or turned off +/
         if (matchFirst(line, rgx.obj_cite_number_block_marks)) {
@@ -1593,11 +1605,16 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    void _start_block_(
-      char[]          line,
-      ref int[string] type,
-      string[string]  obj_cite_number_poem
+    void _start_block_(L,T,N)(
+      L     line,
+      ref T type,
+      N     obj_cite_number_poem
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)                 == char[]));
+        static assert(is(typeof(type)                 == int[string]));
+        static assert(is(typeof(obj_cite_number_poem) == string[string]));
+      }
       if (matchFirst(line, rgx.block_curly_code_open)) {
         /+ curly code open +/
         debug(code) {                              // code (curly) open
@@ -1737,11 +1754,16 @@ template SiSUdocAbstraction() {
         type["tic_table"] = TriState.on;
       }
     }
-    void _code_block_(
-      char[]             line,
-      ref string[string] an_object,
-      ref int[string]    type
+    void _code_block_(L,O,T)(
+      ref L line,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)      == char[]));
+        static assert(is(typeof(an_object) == string[string]));
+        static assert(is(typeof(type)      == int[string]));
+      }
       if (type["curly_code"] == TriState.on) {
         if (matchFirst(line, rgx.block_curly_code_close)) {
           debug(code) {                              // code (curly) close
@@ -1772,7 +1794,10 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    final string biblio_tag_map(string abr) {
+    final string biblio_tag_map(A)(A abr) {
+      debug(asserts){
+        static assert(is(typeof(abr) == string));
+      }
       auto btm = [
         "au"                               : "author_raw",
         "ed"                               : "editor_raw",
@@ -1910,14 +1935,22 @@ template SiSUdocAbstraction() {
         header_tag_value="";
       }
     }
-    void _poem_block_(
-      char[]                 line,
-      ref string[string]     an_object,
-      ref int[string]        type,
-      ref int                cntr,
-      string[string]         obj_cite_number_poem,
-      string[string][string] dochead_make_aa,
+    void _poem_block_(L,O,T,C,N,Ma)(
+      L     line,
+      ref O an_object,
+      ref T type,
+      ref C cntr,
+      N     obj_cite_number_poem,
+      Ma    dochead_make_aa,
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)                 == char[]));
+        static assert(is(typeof(an_object)            == string[string]));
+        static assert(is(typeof(type)                 == int[string]));
+        static assert(is(typeof(cntr)                 == int));
+        static assert(is(typeof(obj_cite_number_poem) == string[string]));
+        static assert(is(typeof(dochead_make_aa)      == string[string][string]));
+      }
       if (type["curly_poem"] == TriState.on) {
         if (matchFirst(line, rgx.block_curly_poem_close)) {
           an_object[an_object_key]="verse"; // check that this is as you please
@@ -2103,11 +2136,16 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    void _group_block_(
-      char[]             line,
-      ref string[string] an_object,
-      ref int[string]    type
+    void _group_block_(L,O,T)(
+      ref L line,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)      == char[]));
+        static assert(is(typeof(an_object) == string[string]));
+        static assert(is(typeof(type)      == int[string]));
+      }
       if (type["curly_group"] == State.on) {
         if (matchFirst(line, rgx.block_curly_group_close)) {
           debug(group) {                           // group (curly) close
@@ -2138,11 +2176,16 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    void _block_block_(
-      char[]             line,
-      ref string[string] an_object,
-      ref int[string]    type
+    void _block_block_(L,O,T)(
+      ref L line,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)      == char[]));
+        static assert(is(typeof(an_object) == string[string]));
+        static assert(is(typeof(type)      == int[string]));
+      }
       if (type["curly_block"] == TriState.on) {
         if (matchFirst(line, rgx.block_curly_block_close)) {
           debug(block) {                           // block (curly) close
@@ -2173,11 +2216,16 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    void _quote_block_(
-      char[]             line,
-      ref string[string] an_object,
-      ref int[string]    type
+    void _quote_block_(L,O,T)(
+      ref L line,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)      == char[]));
+        static assert(is(typeof(an_object) == string[string]));
+        static assert(is(typeof(type)      == int[string]));
+      }
       if (type["curly_quote"] == TriState.on) {
         if (matchFirst(line, rgx.block_curly_quote_close)) {
           debug(quote) {                           // quote (curly) close
@@ -2208,11 +2256,16 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    void _table_block_(
-      char[]             line,
-      ref string[string] an_object,
-      ref int[string]    type
+    void _table_block_(L,O,T)(
+      ref L line,
+      ref O an_object,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)      == char[]));
+        static assert(is(typeof(an_object) == string[string]));
+        static assert(is(typeof(type)      == int[string]));
+      }
       if (type["curly_table"] == TriState.on) {
         if (matchFirst(line, rgx.block_curly_table_close)) {
           debug(table) {                           // table (curly) close
@@ -2463,13 +2516,20 @@ template SiSUdocAbstraction() {
         type["quote"] = TriState.off;
       }
     }
-    auto _book_index_(
-      char[]             line,
-      ref string         book_idx_tmp,
-      ref string[string] an_object,
-      ref int[string]    type,
-      bool[string]       opt_action_bool,
+    auto _book_index_(L,I,O,T,B)(
+      L      line,
+      ref I  book_idx_tmp,
+      ref O  an_object,
+      ref T  type,
+      B      opt_action_bool,
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)            == char[]));
+        static assert(is(typeof(book_idx_tmp)    == string));
+        static assert(is(typeof(an_object)       == string[string]));
+        static assert(is(typeof(type)            == int[string]));
+        static assert(is(typeof(opt_action_bool) == bool[string]));
+      }
       if (auto m = match(line, rgx.book_index)) {
         /+ match book_index +/
         debug(bookindexmatch) {                       // book index
@@ -2512,13 +2572,20 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    auto _heading_found_(
-      char[]                   line,
-      string                   dochead_make_identify_unmarked_headings,
-      ref string[string]       heading_match_str,
-      ref Regex!(char)[string] heading_match_rgx,
-      ref int[string]          type
+    auto _heading_found_(L,X,H,R,T)(
+      L     line,
+      X     dochead_make_identify_unmarked_headings,
+      ref H heading_match_str,
+      ref R heading_match_rgx,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)                                    == char[]));
+        static assert(is(typeof(dochead_make_identify_unmarked_headings) == string));
+        static assert(is(typeof(heading_match_str)                       == string[string]));
+        static assert(is(typeof(heading_match_rgx)                       == Regex!(char)[string]));
+        static assert(is(typeof(type)                                    == int[string]));
+      }
       if ((dochead_make_identify_unmarked_headings.length > 2)
       && (type["make_headings"] == State.off)) {
         /+ headings found +/
@@ -2596,12 +2663,18 @@ template SiSUdocAbstraction() {
         type["make_headings"] = State.on;
       }
     }
-    auto _heading_make_set_(
-      ref char[]               line,
-      ref int[string]          line_occur,
-      ref Regex!(char)[string] heading_match_rgx,
-      ref int[string]          type
+    auto _heading_make_set_(L,C,R,T)(
+      L     line,
+      C     line_occur,
+      ref R heading_match_rgx,
+      ref T type
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)              == char[]));
+        static assert(is(typeof(line_occur)        == int[string]));
+        static assert(is(typeof(heading_match_rgx) == Regex!(char)[string]));
+        static assert(is(typeof(type)              == int[string]));
+      }
       if ((type["make_headings"] == State.on)
       && ((line_occur["para"] == State.off)
       && (line_occur["heading"] == State.off))
@@ -2652,16 +2725,26 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    auto _heading_matched_(
-      char[]                     line,
-      ref int[string]            line_occur,
-      ref string[string]         an_object,
-      ref string                 an_object_key,
-      ref int[string]            lv,
-      ref int[string]            collapsed_lev,
-      ref int[string]            type,
-      ref string[string][string] dochead_meta_aa
+    auto _heading_matched_(L,C,O,K,Lv,Lc,T,Me)(
+      ref L  line,
+      ref C  line_occur,
+      ref O  an_object,
+      ref K  an_object_key,
+      ref Lv lv,
+      ref Lc collapsed_lev,
+      ref T  type,
+      ref Me dochead_meta_aa,
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)            == char[]));
+        static assert(is(typeof(line_occur)      == int[string]));
+        static assert(is(typeof(an_object)       == string[string]));
+        static assert(is(typeof(an_object_key)   == string));
+        static assert(is(typeof(lv)              == int[string]));
+        static assert(is(typeof(collapsed_lev)   == int[string]));
+        static assert(is(typeof(type)            == int[string]));
+        static assert(is(typeof(dochead_meta_aa) == string[string][string]));
+      }
       if (auto m = match(line, rgx.heading)) {
         /+ heading match +/
         type["heading"] = State.on;
@@ -2795,15 +2878,24 @@ template SiSUdocAbstraction() {
         }
       }
     }
-    auto _para_match_(
-      char[]             line,
-      ref string[string] an_object,
-      ref string         an_object_key,
-      ref int[string]    indent,
-      ref bool           bullet,
-      ref int[string]    type,
-      ref int[string]    line_occur,
+    auto _para_match_(L,O,K,I,B,T,C)(
+      ref L  line,
+      ref O  an_object,
+      ref K  an_object_key,
+      ref I  indent,
+      ref B  bullet,
+      ref T  type,
+      ref C  line_occur,
     ) {
+      debug(asserts){
+        static assert(is(typeof(line)          == char[]));
+        static assert(is(typeof(an_object)     == string[string]));
+        static assert(is(typeof(an_object_key) == string));
+        static assert(is(typeof(indent)        == int[string]));
+        static assert(is(typeof(bullet)        == bool));
+        static assert(is(typeof(type)          == int[string]));
+        static assert(is(typeof(line_occur)    == int[string]));
+      }
       if (line_occur["para"] == State.off) {
         /+ para matches +/
         type["para"] = State.on;
@@ -2879,7 +2971,10 @@ template SiSUdocAbstraction() {
         n_foot_sp_asterisk = 0;
         n_foot_sp_plus = 0;
       }
-      string url_links(string obj_txt_in) {
+      string url_links(Ot)(Ot obj_txt_in) {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
         /+ url matched +/
         if (auto m = matchAll(obj_txt_in, rgx.inline_url)) {
           /+ link: naked url: http://url +/
@@ -2924,7 +3019,10 @@ template SiSUdocAbstraction() {
         }
         return obj_txt_in;
       }
-      string footnotes_endnotes_markup_and_number_or_stars(string obj_txt_in) {
+      string footnotes_endnotes_markup_and_number_or_stars(Ot)(Ot obj_txt_in) {                                                // here endnotes are marked up
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
         /+ endnotes (regular) +/
         obj_txt_in =
           replaceAll(
@@ -2999,8 +3097,12 @@ template SiSUdocAbstraction() {
         }
         return obj_txt_out;
       }
-      string para(string obj_txt_in)
-      in { }
+      string para(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         auto rgx = Rgx();
         obj_txt["munge"]=obj_txt_in;
@@ -3015,8 +3117,12 @@ template SiSUdocAbstraction() {
         }
         return obj_txt["munge"];
       }
-      string heading(string obj_txt_in)
-      in { }
+      string heading(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         auto rgx = Rgx();
         obj_txt["munge"]=obj_txt_in;
@@ -3052,8 +3158,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string block(string obj_txt_in)
-      in { }
+      string block(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         obj_txt["munge"]=obj_txt_in;
         obj_txt["munge"]=object_notes_(obj_txt["munge"]);
@@ -3061,8 +3171,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string verse(string obj_txt_in)
-      in { }
+      string verse(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         obj_txt["munge"]=obj_txt_in;
         obj_txt["munge"]=object_notes_(obj_txt["munge"]);
@@ -3070,24 +3184,36 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string quote(string obj_txt_in)
-      in { }
+      string quote(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         obj_txt["munge"]=obj_txt_in;
         return obj_txt["munge"];
       }
       invariant() {
       }
-      string table(string obj_txt_in)
-      in { }
+      string table(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         obj_txt["munge"]=obj_txt_in;
         return obj_txt["munge"];
       }
       invariant() {
       }
-      string comment(string obj_txt_in)
-      in { }
+      string comment(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         obj_txt["munge"]=obj_txt_in;
         return obj_txt["munge"];
@@ -3098,12 +3224,18 @@ template SiSUdocAbstraction() {
     struct ObjInlineMarkup {
       auto munge = ObjInlineMarkupMunge();
       string[string] obj_txt;
-      auto obj_inline_markup_and_anchor_tags(
-        string[string]         obj_,
-        string                 obj_key_,
-        string[string][string] dochead_make_aa
+      auto obj_inline_markup_and_anchor_tags(O,K,Ma)(
+        O  obj_,
+        K  obj_key_,
+        Ma dochead_make_aa
       )
-      in { }
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_)            == string[string]));
+          static assert(is(typeof(obj_key_)        == string));
+          static assert(is(typeof(dochead_make_aa) == string[string][string]));
+        }
+      }
       body {
         obj_txt["munge"]=obj_[obj_key_].dup;
         obj_txt["munge"]=(match(obj_["is"], ctRegex!(`verse|code`)))
@@ -3163,9 +3295,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      auto _clean_heading_toc_(
-        char[] heading_toc_,
+      auto _clean_heading_toc_(Toc)(
+        Toc heading_toc_,
       ) {
+       debug(asserts){
+         static assert(is(typeof(heading_toc_) == char[]));
+       }
        auto m = matchFirst(cast(char[]) heading_toc_, rgx.heading);
        heading_toc_ =
          replaceAll(
@@ -3175,15 +3310,24 @@ template SiSUdocAbstraction() {
          );
        return heading_toc_;
       };
-      auto table_of_contents_gather_headings(
-        string[string]                obj_,
-        string[string][string]        dochead_make_aa,
-        string                        segment_anchor_tag_that_object_belongs_to,
-        string                        _anchor_tag,
-        ref string[][string]          lev4_subtoc,
-        ObjGenericComposite[][string] the_table_of_contents_section,
+      auto table_of_contents_gather_headings(O,Ma,Ts,Ta,X,Toc)(
+        O     obj_,
+        Ma    dochead_make_aa,
+        Ts    segment_anchor_tag_that_object_belongs_to,
+        Ta    _anchor_tag,
+        ref X lev4_subtoc,
+        Toc   the_table_of_contents_section,
       )
-      in { }
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_)                                      == string[string]));
+          static assert(is(typeof(dochead_make_aa)                           == string[string][string]));
+          static assert(is(typeof(segment_anchor_tag_that_object_belongs_to) == string));
+          static assert(is(typeof(_anchor_tag)                               == string));
+          static assert(is(typeof(lev4_subtoc)                               == string[][string]));
+          static assert(is(typeof(the_table_of_contents_section)             == ObjGenericComposite[][string]));
+        }
+      }
       body {
         ObjGenericComposite comp_obj_toc;
         mixin InternalMarkup;
@@ -3317,11 +3461,16 @@ template SiSUdocAbstraction() {
       invariant() {
       }
     private:
-      static string _configured_auto_heading_numbering_and_segment_anchor_tags(
-        string                 munge_,
-        string[string]         obj_,
-        string[string][string] dochead_make_aa
+      static string _configured_auto_heading_numbering_and_segment_anchor_tags(M,O,Ma)(
+        M  munge_,
+        O  obj_,
+        Ma dochead_make_aa
       ) {
+        debug(asserts){
+          static assert(is(typeof(munge_)          == string));
+          static assert(is(typeof(obj_)            == string[string]));
+          static assert(is(typeof(dochead_make_aa) == string[string][string]));
+        }
         if (dochead_make_aa["make"]["num_top"].length > 0) {
           if (!(match(munge_, rgx.heading_anchor_tag))) {
             static __gshared int heading_num_top_level=9;
@@ -3434,7 +3583,11 @@ template SiSUdocAbstraction() {
       }
     
     
-      static string _make_segment_anchor_tags_if_none_provided(string munge_, string lev_) {
+      static string _make_segment_anchor_tags_if_none_provided(M,Lv)(M munge_, Lv lev_) {
+        debug(asserts){
+          static assert(is(typeof(munge_) == string));
+          static assert(is(typeof(lev_)   == string));
+        }
         if (!(match(munge_, rgx.heading_anchor_tag))) { // if (anchor_tags_.length == 0) {
           if (match(munge_, rgx.heading_identify_anchor_tag)) {
             if (auto m = match(munge_, rgx.heading_extract_named_anchor_tag)) {
@@ -3501,12 +3654,18 @@ template SiSUdocAbstraction() {
     /+ +/
     struct ObjAttributes {
       string[string] _obj_attrib;
-      string obj_attributes(
-        string              obj_is_,
-        string              obj_raw,
-        ObjGenericComposite _comp_obj_heading,
+      string obj_attributes(Oi,OR,OH)(
+        Oi obj_is_,
+        OR obj_raw,
+        OH _comp_obj_heading,
       )
-      in { }
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_is_)           == string));
+          static assert(is(typeof(obj_raw)           == string));
+          static assert(is(typeof(_comp_obj_heading) == ObjGenericComposite));
+        }
+      }
       body {
         scope(exit) {
           destroy(obj_is_);
@@ -3566,8 +3725,12 @@ template SiSUdocAbstraction() {
       }
       private:
       string _obj_attributes;
-      string _para_and_blocks(string obj_txt_in)
-      in { }
+      string _para_and_blocks(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         auto rgx = Rgx();
         if (matchFirst(obj_txt_in, rgx.para_bullet)) {
@@ -3593,8 +3756,12 @@ template SiSUdocAbstraction() {
         }
         return _obj_attributes;
       }
-      string _para(string obj_txt_in)
-      in { }
+      string _para(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"para\","
@@ -3603,8 +3770,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _heading(string obj_txt_in)
-      in { }
+      string _heading(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"para\","
@@ -3613,8 +3784,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _code(string obj_txt_in)
-      in { }
+      string _code(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"block\","
@@ -3623,8 +3798,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _group(string obj_txt_in)
-      in { }
+      string _group(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"block\","
@@ -3633,8 +3812,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _block(string obj_txt_in)
-      in { }
+      string _block(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"block\","
@@ -3643,8 +3826,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _verse(string obj_txt_in)
-      in { }
+      string _verse(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"block\","
@@ -3653,8 +3840,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _quote(string obj_txt_in)
-      in { }
+      string _quote(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"block\","
@@ -3663,8 +3854,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _table(string obj_txt_in)
-      in { }
+      string _table(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"content\","
         ~ " \"of\": \"block\","
@@ -3673,8 +3868,12 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _comment(string obj_txt_in)
-      in { }
+      string _comment(Ot)(Ot obj_txt_in)
+      in {
+        debug(asserts){
+          static assert(is(typeof(obj_txt_in) == string));
+        }
+      }
       body {
         _obj_attributes = " \"use\": \"comment\","
         ~ " \"of\": \"comment\","
@@ -3683,11 +3882,16 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      string _set_additional_values_parse_as_json(
-        string              _obj_attrib,
-        string              obj_is_,
-        ObjGenericComposite _comp_obj_heading,
+      string _set_additional_values_parse_as_json(OA,Oi,OH)(
+        OA _obj_attrib,
+        Oi obj_is_,
+        OH _comp_obj_heading,
       ) {                                                  //
+        debug(asserts){
+          static assert(is(typeof(_obj_attrib)       == string));
+          static assert(is(typeof(obj_is_)           == string));
+          static assert(is(typeof(_comp_obj_heading) == ObjGenericComposite));
+        }
         JSONValue oa_j = parseJSON(_obj_attrib);
         assert(
           (oa_j.type == JSON_TYPE.OBJECT)
@@ -3715,11 +3919,15 @@ template SiSUdocAbstraction() {
       string[][string][string] bi;
       string[][string][string] hash_nugget;
       string[] bi_main_terms_split_arr;
-      string[][string][string] bookindex_nugget_hash(
-        string bookindex_section,
-        int    obj_cite_number
+      string[][string][string] bookindex_nugget_hash(BI,N)(
+        BI bookindex_section,
+        N  obj_cite_number
       )
       in {
+        debug(asserts){
+          static assert(is(typeof(bookindex_section) == string));
+          static assert(is(typeof(obj_cite_number)   == int));
+        }
         debug(bookindexraw) {
           if (!bookindex_section.empty) {
             writeln(
@@ -3783,9 +3991,12 @@ template SiSUdocAbstraction() {
     }
     struct BookIndexReportIndent {
       int mkn, skn;
-      auto bookindex_report_indented(
-        string[][string][string] bookindex_unordered_hashes
+      auto bookindex_report_indented(BI)(
+        BI bookindex_unordered_hashes
       ) {
+        debug(asserts){
+          static assert(is(typeof(bookindex_unordered_hashes) == string[][string][string]));
+        }
         auto mainkeys=
           bookindex_unordered_hashes.byKey.array.sort().release;
         foreach (mainkey; mainkeys) {
@@ -3811,9 +4022,12 @@ template SiSUdocAbstraction() {
       int  mkn, skn;
       auto rgx = Rgx();
       auto munge = ObjInlineMarkupMunge();
-      auto bookindex_write_section(
-        string[][string][string] bookindex_unordered_hashes
+      auto bookindex_write_section(BI)(
+        BI bookindex_unordered_hashes
       ) {
+        debug(asserts){
+          static assert(is(typeof(bookindex_unordered_hashes) == string[][string][string]));
+        }
         auto mainkeys=bookindex_unordered_hashes.byKey.array.sort().release;
         foreach (mainkey; mainkeys) {
           write("_0_1 !{", mainkey, "}! ");
@@ -3837,12 +4051,18 @@ template SiSUdocAbstraction() {
           ++mkn;
         }
       }
-      auto bookindex_build_abstraction_section(
-        string[][string][string] bookindex_unordered_hashes,
-        int                      obj_cite_number,
-        string                   segment_anchor_tag_that_object_belongs_to,
-        bool[string]             opt_action_bool,
+      auto bookindex_build_abstraction_section(BI,N,Ta,B)(
+        BI bookindex_unordered_hashes,
+        N  obj_cite_number,
+        Ta segment_anchor_tag_that_object_belongs_to,
+        B  opt_action_bool,
       ) {
+        debug(asserts){
+          static assert(is(typeof(bookindex_unordered_hashes)                == string[][string][string]));
+          static assert(is(typeof(obj_cite_number)                           == int));
+          static assert(is(typeof(segment_anchor_tag_that_object_belongs_to) == string));
+          static assert(is(typeof(opt_action_bool)                           == bool[string]));
+        }
         mixin SiSUnode;
         mixin InternalMarkup;
         auto mkup = InlineMarkup();
@@ -4128,11 +4348,16 @@ template SiSUdocAbstraction() {
     }
     /+ +/
     struct Bibliography {
-      public JSONValue[] _bibliography_(
-        ref string[]     biblio_unsorted_incomplete,
-        ref JSONValue[]  bib_arr_json
+      public JSONValue[] _bibliography_(Bi,BJ)(
+        ref Bi biblio_unsorted_incomplete,
+        ref BJ bib_arr_json
       )
-      in { }
+      in {
+        debug(asserts){
+          static assert(is(typeof(biblio_unsorted_incomplete) == string[]));
+          static assert(is(typeof(bib_arr_json)               == JSONValue[]));
+        }
+     }
       body {
         JSONValue[] biblio_unsorted =
           _biblio_unsorted_complete_(biblio_unsorted_incomplete, bib_arr_json);
@@ -4153,10 +4378,14 @@ template SiSUdocAbstraction() {
         }
         return biblio_sorted__;
       }
-      final private JSONValue[] _biblio_unsorted_complete_(
-        string[]        biblio_unordered,
-        ref JSONValue[] bib_arr_json
+      final private JSONValue[] _biblio_unsorted_complete_(Bi,BJ)(
+        Bi     biblio_unordered,
+        ref BJ bib_arr_json
       ) {
+        debug(asserts){
+          static assert(is(typeof(biblio_unordered) == string[]));
+          static assert(is(typeof(bib_arr_json)     == JSONValue[]));
+        }
         foreach (bibent; biblio_unordered) {
           // update bib to include deemed_author, needed for:
           // sort_bibliography_array_by_deemed_author_year_title
@@ -4182,7 +4411,10 @@ template SiSUdocAbstraction() {
           bib_arr_json.dup;
         return biblio_unsorted_array_of_json_objects;
       }
-      final private JSONValue[] biblio_sort(JSONValue[] biblio_unordered) {
+      final private JSONValue[] biblio_sort(BJ)(BJ biblio_unordered) {
+        debug(asserts){
+          static assert(is(typeof(biblio_unordered) == JSONValue[]));
+        }
         JSONValue[] biblio_sorted_;
         biblio_sorted_ =
           sort!((a, b){
@@ -4197,7 +4429,10 @@ template SiSUdocAbstraction() {
         }
         return biblio_sorted_;
       }
-      void biblio_debug(JSONValue[] biblio_sorted) {
+      void biblio_debug(BJ)(BJ biblio_sorted) {
+        debug(asserts){
+          static assert(is(typeof(biblio_sorted) == JSONValue[]));
+        }
         debug(biblio0) {
           foreach (j; biblio_sorted) {
             if (!empty(j["fulltitle"].str)) {
@@ -4212,15 +4447,23 @@ template SiSUdocAbstraction() {
       int lv, lv0, lv1, lv2, lv3, lv4, lv5, lv6, lv7;
       int obj_cite_number;
       int[string] p_; // p_ parent_
-      ObjGenericComposite node_location_emitter(
-        string lev_markup_number,
-        string segment_anchor_tag,
-        int    obj_cite_number_,
-        int    cntr_,
-        int    ptr_,
-        string is_
+      ObjGenericComposite node_location_emitter(Lv,Ta,N,C,P,I)(
+        Lv lev_markup_number,
+        Ta segment_anchor_tag,
+        N  obj_cite_number_,
+        C  cntr_,
+        P  ptr_,
+        I  is_
       )
       in {
+        debug(asserts){
+          static assert(is(typeof(lev_markup_number)  == string));
+          static assert(is(typeof(segment_anchor_tag) == string));
+          static assert(is(typeof(obj_cite_number_)   == int));
+          static assert(is(typeof(cntr_)              == int));
+          static assert(is(typeof(ptr_)               == int));
+          static assert(is(typeof(is_)                == string));
+        }
         auto rgx = Rgx();
         assert(is_ != "heading");
         assert(to!int(obj_cite_number_) >= 0);
@@ -4263,20 +4506,33 @@ template SiSUdocAbstraction() {
       }
       invariant() {
       }
-      ObjGenericComposite node_emitter_heading(
-        string _text,
-        string lev,
-        string lev_markup_number,
-        string lev_collapsed_number,
-        string segment_anchor_tag,
-        int    obj_cite_number_,
-        int    cntr_,
-        int    ptr_,
-        string[] lv_ancestors,
-        string is_,
-        int    html_segnames_ptr,
+      ObjGenericComposite node_emitter_heading(T,L,Lm,Lc,Ta,N,C,P,LA,I,PSn)(
+        T   _text,
+        L   lev,
+        Lm  lev_markup_number,
+        Lc  lev_collapsed_number,
+        Ta  segment_anchor_tag,
+        N   obj_cite_number_,
+        C   cntr_,
+        P   ptr_,
+        LA  lv_ancestors,
+        I   is_,
+        PSn html_segnames_ptr,
       )
       in {
+        debug(asserts){
+          static assert(is(typeof(_text)                == string));
+          static assert(is(typeof(lev)                  == string));
+          static assert(is(typeof(lev_markup_number)    == string));
+          static assert(is(typeof(lev_collapsed_number) == string));
+          static assert(is(typeof(segment_anchor_tag)   == string));
+          static assert(is(typeof(obj_cite_number_)     == int));
+          static assert(is(typeof(cntr_)                == int));
+          static assert(is(typeof(ptr_)                 == int));
+          static assert(is(typeof(lv_ancestors)         == string[]));
+          static assert(is(typeof(is_)                  == string));
+          static assert(is(typeof(html_segnames_ptr)    == int));
+        }
         auto rgx = Rgx();
         assert(is_ == "heading");
         assert(to!int(obj_cite_number_) >= 0);
@@ -4438,10 +4694,14 @@ template SiSUdocAbstraction() {
     }
     /+ abstraction functions emitters ↑ +/
     /+ ↓ abstraction functions assertions +/
-    auto assertions_doc_structure(
-      string[string] an_object,
-      int[string]    lv
+    auto assertions_doc_structure(O,Lv)(
+      O  an_object,
+      Lv lv
     ) {
+      debug(asserts){
+        static assert(is(typeof(an_object) == string[string]));
+        static assert(is(typeof(lv)        == int[string]));
+      }
       if (lv["h3"] > State.off) {
         assert(lv["h0"] > State.off);
         assert(lv["h1"] > State.off);
@@ -4613,7 +4873,10 @@ template SiSUdocAbstraction() {
         break;
       }
     }
-    auto assertions_flag_types_block_status_none_or_closed(int[string] type) {
+    auto assertions_flag_types_block_status_none_or_closed(T)(T type) {
+      debug(asserts){
+        static assert(is(typeof(type) == int[string]));
+      }
       assert(
         (type["code"] == TriState.off)
         || (type["code"] == TriState.closing),