<commit_before>-- For explanations, see json-ref-ref.md

-- Note the following mentionned in comments, is to be read as indicated:
--
--   * ${type} sort as t@ype, type, viewt@ype or viewtype sort.
--   * ${type-view} as view or ${type} sort.
--   * ${prop-type-view} as prop or ${type-view} sort.


Root
==============================================================================

/: -- Each table is always present, even if empty.
   + d2conmap
   + d2cstmap
   + d2varmap
   + s2cstmap
   + s2varmap
   + d2eclist


C2LAU -- Case clauses
==============================================================================

c2lau_body: -- Matching clause body.
   ${d2exp}

c2lau_gua: -- Case-clause when‑guard.
   [
      + gm2at_exp
      + gm2at_loc
      + gm2at_pat
   ] 0…n -- When e1 and e2 and ….

c2lau_loc: -- Loc of the clause, excluding the “|” symbol.
   str

c2lau_neg: -- Clause reachability.
   int -- 0/1: => / =/=> (or =>> / =/=>>)

c2lau_pat: -- Case-clause pattern.
   [${p2at}] 1…n -- Matching patterns, ex. (x, y, …).

c2lau_seq: -- Clause sequentiality.
   int -- 0/1: => / =>> (or =/=> / =/=>>)


D2CON -- Dynamic constructors
==============================================================================

d2conmap: -- Dynamic constructors table.
   [
      + d2con_stamp
      + d2con_sym
      + d2con_type
   ] 0…n

d2con_stamp: -- Reference to or ID of a d2conmap entry.
   int

d2con_sym: -- Constructor name.
   str

d2con_type: -- Dynamic constructor type.
   ${s2exp} -- Of `type` sort, a functional type returning something of prop,
            -- type, t@ype, view or viewtype sort (not viewt@ype ?), taking
            -- arguments of ${prop-type-view} sort, the whole possibly under
            -- one or more universal quantification (not existantial
            -- quantification). The functional type returned type is either of
            -- a base sort or or a functional sort (for indexed types). In the
            -- latter case, this returned type is a static application.


D2CST -- Dynamic constants
==============================================================================

d2cst_extdef: -- Not extern or how it is extern.
   | DCSTEXTDEFnone
   | DCSTEXTDEFsome_ext
   | DCSTEXTDEFsome_mac
   | DCSTEXTDEFsome_sta

d2cstmap: -- Dynamic constants table.
   [
      + d2cst_extdef
      + d2cst_stamp
      + d2cst_sym
      + d2cst_type<commit_msg>Minor (wording)<commit_after>-- For explanations, see json-ref-ref.md

-- Note the following mentionned in comments, is to be read as indicated:
--
--   * ${type} sort as t@ype, type, viewt@ype or viewtype sort.
--   * ${type-view} as view or ${type} sort.
--   * ${prop-type-view} as prop or ${type-view} sort.


Root
==============================================================================

/: -- Each table is always present, even if empty.
   + d2conmap
   + d2cstmap
   + d2varmap
   + s2cstmap
   + s2varmap
   + d2eclist


C2LAU -- Case clauses
==============================================================================

c2lau_body: -- Matching clause body.
   ${d2exp}

c2lau_gua: -- Case-clause when‑guard.
   [
      + gm2at_exp
      + gm2at_loc
      + gm2at_pat
   ] 0…n -- When e1 and e2 and ….

c2lau_loc: -- Loc of the clause, excluding the “|” symbol.
   str

c2lau_neg: -- Clause reachability.
   int -- 0/1: => / =/=> (or =>> / =/=>>)

c2lau_pat: -- Case-clause pattern.
   [${p2at}] 1…n -- Matching patterns, ex. (x, y, …).

c2lau_seq: -- Clause sequentiality.
   int -- 0/1: => / =>> (or =/=> / =/=>>)


D2CON -- Dynamic constructors
==============================================================================

d2conmap: -- Dynamic constructors table.
   [
      + d2con_stamp
      + d2con_sym
      + d2con_type
   ] 0…n

d2con_stamp: -- Reference to or ID of a d2conmap entry.
   int

d2con_sym: -- Constructor name.
   str

d2con_type: -- Dynamic constructor type.
   ${s2exp} -- Of `type` sort, a functional type returning something of prop,
            -- type, t@ype, view or viewtype sort (not viewt@ype ?), taking
            -- possible arguments of ${prop-type-view} sort, the whole
            -- possibly under multiple universal quantification levels (not
            -- existential quantification). The returned type either refers to
            -- a base sort or a functional sort (for indexed types). In the
            -- latter case, the returned type is the static application of
            -- this functional sort (its indexes are instantiated).


D2CST -- Dynamic constants
==============================================================================

d2cst_extdef: -- Not extern or how it is extern.
   | DCSTEXTDEFnone
   | DCSTEXTDEFsome_ext
   | DCSTEXTDEFsome_mac
   | DCSTEXTDEFsome_sta

d2cstmap: -- Dynamic constants table.
   [
      + d2cst_extdef
      + d2cst_stamp
      + d2cst_sym
      + d2cst_type
{'fraction_non_alphanumeric': 0.23343589743589743, 'fraction_numerical': 0.01805128205128205, 'mean_word_length': 2.7392638036809815, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 27, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2174512', 'n_tokens_mistral': 1625, 'n_tokens_neox': 1542, 'n_words': 453}