Commit 1bc19764 authored by Gérard Huet's avatar Gérard Huet

Paths.default_display_font used in declension and conjugation servives

parent 37f7d316
......@@ -13,8 +13,8 @@
\begin{center}
\vspace*{24pt}
{\Large The Sanskrit Platform Documentation}\\[10pt]
{\Large (Sanskrit Library V3.02; Zen toolkit V3.1)}\\[15pt]
{\large 2017-10-13}\\[15pt]
{\Large (Sanskrit Library V3.03; Zen toolkit V3.1)}\\[15pt]
{\large 2017-11-14}\\[15pt]
{\large G\'erard Huet \& Pawan Goyal}\\[10pt]
{\large Copyright \copyright ~2000-2017 Inria}\\[20pt]
\end{center}
......@@ -99,7 +99,7 @@ Generated by make version - see main Makefile
\label{version.ml:671}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{version}=$\ocwstring{"3.02"}~\ocwkw{and}~$\ocwlowerid{version\_date}=$\ocwstring{"2017\symbol{45}10\symbol{45}13"};\ocweol
$\ocwlowerid{value}~\ocwlowerid{version}=$\ocwstring{"3.03"}~\ocwkw{and}~$\ocwlowerid{version\_date}=$\ocwstring{"2017\symbol{45}11\symbol{45}14"};\ocweol
\ocweol
\ocwendcode{}\typeout{OcamlWeb file Date.ml}
\ocwmodule{Date}
......@@ -22485,6 +22485,8 @@ $\mid{}~$\ocwstring{"vaz"}~$\rightarrow{}~\ocwlowerid{revcode}~$\ocwstring{"uz"}
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"zaas"}~$\rightarrow{}~\ocwlowerid{revcode}~$\ocwstring{"zi.s"}~\ocweol
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"myak.s"}~$\rightarrow{}~\ocwlowerid{revcode}~$\ocwstring{"mik.s"}~\ocweol
\ocwindent{2.00em}
$\mid{}~\ocwlowerid{\_}~\rightarrow{}~\ocwlowerid{rstem}$\ocweol
\ocwindent{2.00em}
$]$\ocweol
......@@ -22824,7 +22826,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Dhatupatha markers (from AK's listing)
\ocweol
\label{verbs.ml:21354}%
\label{verbs.ml:21389}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{aa\_it}~=~$\ocwkw{fun}\ocweol
......@@ -22938,7 +22940,7 @@ In all such functions, \ocwbegindcode{}$(\ocwlowerid{stem}~:~\ocwlowerid{word})$
\ocwindent{0.00em}
Exemple pour cyu: stem=strong=guna=cyo et cyo+ati=cyavati par \ocwbegindcode{}$\ocwlowerid{int\_sandhi}$\ocwenddcode{}
\ocweol
\label{verbs.ml:24179}%
\label{verbs.ml:24214}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_thematic\_presenta}~\ocwlowerid{cl}~\ocwlowerid{conj}~\ocwlowerid{stem}~\ocwlowerid{entry}~\ocwlowerid{third}~=~$\ocweol
......@@ -23390,7 +23392,7 @@ $\ocwlowerid{value}~\ocwlowerid{compute\_causativea}~=~\ocwlowerid{compute\_them
\ocwindent{0.00em}
set indicates connecting vowel string of se.t root
\ocweol
\label{verbs.ml:31188}%
\label{verbs.ml:31223}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{fix2}~\ocwlowerid{stem}~\ocwlowerid{suff}~\ocwlowerid{set}~=~$\ocweol
......@@ -24203,7 +24205,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
** Gana 3 **
\ocweol
\label{verbs.ml:46777}%
\label{verbs.ml:46812}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{strip\_ii}~=~$\ocwkw{fun}~\ocweol
......@@ -24767,7 +24769,7 @@ $\ocwlowerid{record\_part\_m\_ath}~(\ocwlowerid{pprm}~3)~\ocwlowerid{short}~\ocw
\ocwendcode{}\ocwindent{0.00em}
** Gana 5 **
\ocweol
\label{verbs.ml:56222}%
\label{verbs.ml:56257}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_athematic\_present5a}~\ocwlowerid{gana}~\ocwlowerid{strong}~\ocwlowerid{weak}~\ocwlowerid{vow}~\ocwlowerid{entry}~\ocwlowerid{third}~=~$\ocweol
......@@ -25247,7 +25249,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
** Gana 7 **
\ocweol
\label{verbs.ml:64626}%
\label{verbs.ml:64661}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_athematic\_present7a}~\ocwlowerid{strong}~\ocwlowerid{weak}~\ocwlowerid{entry}~\ocwlowerid{third}~=~$\ocweol
......@@ -25579,7 +25581,7 @@ Conjugation of k.r
\ocwindent{2.50em}
"karo" "kuru" "kur"
\ocweol
\label{verbs.ml:69980}%
\label{verbs.ml:70015}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_athematic\_presentk}~\ocwlowerid{strong}~\ocwlowerid{weak}~\ocwlowerid{short}~\ocwlowerid{entry}~\ocwlowerid{third}~=~$\ocweol
......@@ -25825,7 +25827,7 @@ $\ocwlowerid{value}~\ocwlowerid{compute\_presentk}~\ocwlowerid{sstem}~\ocwloweri
\ocwendcode{}\ocwindent{0.00em}
** Gana 9 **
\ocweol
\label{verbs.ml:73559}%
\label{verbs.ml:73594}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_athematic\_present9a}~\ocwlowerid{strong}~\ocwlowerid{weak}~\ocwlowerid{short}~\ocwlowerid{entry}~\ocwlowerid{third}~=~$\ocweol
......@@ -26147,7 +26149,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Benedictive/precative. Formed from \ocwbegindcode{}$\ocwlowerid{conjug\_optativea}$\ocwenddcode{}
\ocweol
\label{verbs.ml:79252}%
\label{verbs.ml:79287}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{conjug\_benedictivea}~\ocwlowerid{conj}~\ocwlowerid{weak}~\ocwlowerid{entry}~=$\ocweol
......@@ -26243,7 +26245,7 @@ $])~$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Similar to \ocwbegindcode{}$\ocwlowerid{compute\_thematic\_paradigm\_act}$\ocwenddcode{}
\ocweol
\label{verbs.ml:80541}%
\label{verbs.ml:80576}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_futurea}~\ocwlowerid{conj}~\ocwlowerid{stem}~\ocwlowerid{entry}~=~$\ocweol
......@@ -26580,7 +26582,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Perfect passive participle
\ocweol
\label{verbs.ml:87892}%
\label{verbs.ml:87927}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{intercalate\_pp}~\ocwlowerid{root}~\ocwlowerid{rstem}~=~$\ocweol
......@@ -27123,7 +27125,7 @@ $]~$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Metathesis -arx -> -rax
\ocweol
\label{verbs.ml:101434}%
\label{verbs.ml:101469}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{ar\_ra}~=~$\ocwkw{fun}~\ocweol
......@@ -27361,7 +27363,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Passive system
\ocweol
\label{verbs.ml:106770}%
\label{verbs.ml:106805}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{admits\_passive}~=~$\ocwkw{fun}~\ocweol
......@@ -27392,7 +27394,7 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Similar to \ocwbegindcode{}$\ocwlowerid{compute\_thematic\_middle}$\ocwenddcode{}
\ocweol
\label{verbs.ml:107431}%
\label{verbs.ml:107466}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_passive\_present}~\ocwlowerid{verbal}~\ocwlowerid{stem}~\ocwlowerid{entry}~=~$\ocweol
......@@ -27640,7 +27642,7 @@ NB b=iopt not sufficient. See Whitney§797
\ocwindent{0.00em}
Warning: baroque code ahead
\ocweol
\label{verbs.ml:111160}%
\label{verbs.ml:111195}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{redup\_perf}~\ocwlowerid{root}~=~$\ocweol
......@@ -27727,7 +27729,7 @@ $\mid{}~\ocwlowerid{\_}~\rightarrow{}~\ocwlowerid{revw}$\ocweol
\ocwindent{10.00em}
$]~$\ocwkw{in}~$(\ocwlowerid{strong}~\ocwlowerid{w},~\ocwlowerid{w})$\medskip
\label{verbs.ml:113379}%
\label{verbs.ml:113414}%
\ocwindent{4.50em}
$\mid{}~\ocwlowerid{\_}~$\ocwbc{} aa ii uu \ocwec{}~$\rightarrow{}~(\ocwlowerid{revs},~\ocwlowerid{revw})$\ocweol
\ocwindent{4.50em}
......@@ -27795,8 +27797,8 @@ $]$\ocweol
$[~$\ocwstring{"maa\#3"}~$\rightarrow{}~3~$\ocwbc{} i \ocwec{}~\ocwbc{} analogy with present \ocwec{}\ocweol
\ocwindent{5.00em}
$\mid{}~$\ocwstring{"vyath"}~$\mid{}~$\ocwstring{"vyadh"}~$\mid{}~$\ocwstring{"vyaa"}~$\mid{}~$\ocwstring{"jyaa\#1"}~$\mid{}~$\ocwstring{"pyaa"}~$\mid{}~$\ocwstring{"syand"}~$\mid{}~$\ocwstring{"dyut\#1"}\ocweol
\ocwindent{10.00em}
$\rightarrow{}~3$\ocweol
\ocwindent{5.00em}
$\mid{}~$\ocwstring{"myak.s"}~$\rightarrow{}~3$\ocweol
\ocwindent{6.00em}
\ocwbc{} Whitney§785 also \ocwstring{"vyac"} and ved. \ocwstring{"tyaj\#1"}; \ocwstring{"vyaa"} treated other \ocwec{}\ocweol
\ocwindent{5.00em}
......@@ -27902,7 +27904,7 @@ $]~$\ocweol
\ocwindent{3.50em}
\ocwkw{and}~$\ocwlowerid{strong}~=~\ocwlowerid{glue}~($\ocwkw{if}~$\ocwlowerid{p}~$\ocwkw{then}~$\ocwlowerid{revw}~$\ocwkw{else}~$\ocwlowerid{revs})~$\ocweol
\ocwindent{3.50em}
\ocwkw{and}~$\ocwlowerid{longifvr}~=~$\ocwkw{if}~$\ocwlowerid{vriddhi}~$\ocwkw{then}~$\ocwlowerid{revl}~$\ocwkw{else}~$\ocwlowerid{revs}~$\ocwkw{in}\ocweol
\ocwkw{and}~$\ocwlowerid{longifvr}~=~$\ocwkw{if}~$\ocwlowerid{vriddhi}~$\ocwkw{then}~$\ocwlowerid{revl}~$\ocwkw{else}~$\ocwlowerid{revs}~$\ocwkw{in}~\ocweol
\ocwindent{3.50em}
\ocwkw{let}~$\ocwlowerid{olong}~=~$\ocwkw{if}~$\ocwlowerid{p}~$\ocwkw{then}~$\ocwupperid{None}~$\ocwkw{else}~$\ocwupperid{Some}~(\ocwlowerid{glue}~\ocwlowerid{longifvr})~$\ocwkw{in}\ocweol
\ocwindent{3.50em}
......@@ -28772,7 +28774,7 @@ Aorist system
\ocwindent{0.00em}
augment True for aorist, False for injunctive
\ocweol
\label{verbs.ml:132264}%
\label{verbs.ml:132301}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{sigma}~\ocwlowerid{augment}~\ocwlowerid{stem}~\ocwlowerid{suff}~=~$\ocweol
......@@ -30087,7 +30089,7 @@ $[~$\ocwstring{"gam"}~$\mid{}~$\ocwstring{"g.rdh"}~$\mid{}~$\ocwstring{"zuc\#1"}
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"vac"}~$\rightarrow{}~\ocwlowerid{compute\_thematic\_injuncta}~(\ocwlowerid{revcode}~$\ocwstring{"voc"}$)~\ocwlowerid{entry}~$\ocwbc{} vocat \ocwec{}\medskip
\label{verbs.ml:157297}%
\label{verbs.ml:157334}%
\ocwindent{2.00em}
$\mid{}~\ocwlowerid{\_}~\rightarrow{}~()~$\ocweol
\ocwindent{2.00em}
......@@ -30273,7 +30275,7 @@ $]~$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Periphrastic future, Infinitive, Passive future participle in -tavya
\ocweol
\label{verbs.ml:160817}%
\label{verbs.ml:160854}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_peri\_fut}~\ocwlowerid{conj}~\ocwlowerid{perstem}~\ocwlowerid{entry}~=~$\ocweol
......@@ -30397,7 +30399,7 @@ $\ocwlowerid{iter}~($\ocwkw{fun}~$\ocwlowerid{st}~\rightarrow{}~\ocwlowerid{peri
\ocwendcode{}\ocwindent{0.00em}
Passive future participle in -ya and -aniiya in all conjugations
\ocweol
\label{verbs.ml:163376}%
\label{verbs.ml:163413}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{palatal\_exception}~\ocwlowerid{root}~=~\ocwupperid{List.}\ocwlowerid{mem}~\ocwlowerid{root}$\ocweol
......@@ -30656,7 +30658,7 @@ $\ocwlowerid{value}~\ocwlowerid{record\_pfp\_10}~\ocwlowerid{entry}~\ocwlowerid{
\ocwendcode{}\ocwindent{0.00em}
Absolutive and Past Participle
\ocweol
\label{verbs.ml:169010}%
\label{verbs.ml:169047}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{record\_part\_ppp}~\ocwlowerid{ppstem}~\ocwlowerid{entry}~=~$\ocwkw{do}~\ocweol
......@@ -30888,9 +30890,9 @@ $\mid{}~\ocwupperid{Ta}~\ocwlowerid{w}~\rightarrow{}~$\ocwkw{do}\ocweol
\ocwindent{5.50em}
\ocwkw{match}~$\ocwlowerid{entry}~$\ocwkw{with}~\ocweol
\ocwindent{5.50em}
$[~$\ocwstring{"av"}~$\rightarrow{}~\ocwlowerid{record\_abs\_ya}~\ocwlowerid{entry}~\ocwlowerid{rstem}~\ocwlowerid{rstem}~$\ocwbc{} -avya \ocwec{}\ocweol
$[~$\ocwstring{"av"}~$\rightarrow{}~\ocwlowerid{record\_abs\_ya}~\ocwlowerid{entry}~\ocwlowerid{rstem}~(\ocwlowerid{revcode}~$\ocwstring{"aav"}$)~$\ocwbc{} -aavya \ocwec{}\ocweol
\ocwindent{5.50em}
$\mid{}~\ocwlowerid{\_}~\rightarrow{}~\ocwlowerid{record\_abs\_ya}~\ocwlowerid{entry}~\ocwlowerid{rstem}~\ocwlowerid{w}~$\ocweol
$\mid{}~\ocwlowerid{\_}~\rightarrow{}~\ocwlowerid{record\_abs\_ya}~\ocwlowerid{entry}~\ocwlowerid{rstem}~\ocwlowerid{w}$\ocweol
\ocwindent{5.50em}
$]$\ocweol
\ocwindent{4.50em}
......@@ -31115,7 +31117,7 @@ $\ocwlowerid{record\_absolutive}~\ocwupperid{Desiderative}~\ocwlowerid{abs\_stem
\ocwendcode{}\ocwindent{0.00em}
Intensive or frequentative
\ocweol
\label{verbs.ml:178973}%
\label{verbs.ml:179020}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_intensive\_presenta}~\ocwlowerid{strong}~\ocwlowerid{weak}~\ocwlowerid{iiflag}~\ocwlowerid{entry}~=$\ocweol
......@@ -31298,7 +31300,7 @@ rather than a table. \ocwec{}\medskip
\ocwendcode{}\ocwindent{0.00em}
Similar to \ocwbegindcode{}$\ocwlowerid{compute\_active\_present3}$\ocwenddcode{} with Intensive, plus optional ii forms
\ocweol
\label{verbs.ml:182173}%
\label{verbs.ml:182220}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_intensivea}~\ocwlowerid{wstem}~\ocwlowerid{sstem}~\ocwlowerid{entry}~\ocwlowerid{third}~=~$\ocweol
......@@ -31337,7 +31339,7 @@ $\ocwlowerid{compute\_athematic\_present3m}~\ocwupperid{Intensive}~\ocwlowerid{i
\ocwendcode{}\ocwindent{0.00em}
Present system
\ocweol
\label{verbs.ml:183050}%
\label{verbs.ml:183097}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_present\_system}~\ocwlowerid{entry}~\ocwlowerid{rstem}~\ocwlowerid{gana}~\ocwlowerid{pada}~\ocwlowerid{third}~=~$\ocweol
......@@ -31936,7 +31938,7 @@ Passive system
NB. For gana 4 verbs passive differs from middle mostly by accent
but distinction necessary since different regime
\ocweol
\label{verbs.ml:198046}%
\label{verbs.ml:198093}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{compute\_passive\_primary}~\ocwlowerid{entry}~\ocwlowerid{ps\_stem}~=~$\ocweol
......@@ -32112,7 +32114,7 @@ BEWARE. the entry forms given in the next two functions must be in normalized
form - no non-genuine anusvaara
This should be replaced by the recording of the 3rd sg form, like others.
\ocweol
\label{verbs.ml:202901}%
\label{verbs.ml:202948}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{den\_stem\_a}~\ocwlowerid{entry}~=~$\ocwbc{} in general transitive Whitney§1059c \ocwec{}\ocweol
......@@ -43216,7 +43218,7 @@ $\ocwupperid{List.}\ocwlowerid{fold\_left}~\ocwupperid{Lex.}\ocwlowerid{print\_s
;\ocweol
\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{print\_scl\_solutions}~\ocwlowerid{s}~=$\ocweol
\ocwindent{1.50em}
\ocwindent{1.00em}
\ocwkw{let}~$\ocwlowerid{\_}~=~\ocwlowerid{print\_scl\_output}~\ocwlowerid{s}~$\ocwkw{in}~$()$\ocweol
\ocwindent{0.00em}
;\ocweol
......@@ -49754,8 +49756,9 @@ $\ocwlowerid{value}~\ocwlowerid{prelude}~()~=~$\ocwkw{do}\ocweol
\ocwindent{0.00em}
;\ocweol
\ocwindent{0.00em}
\ocwbc{} At this point we have a Finite Eilenberg machine ready to instantiate the
Eilenberg component of the Segment module. \ocwec{}\medskip
\ocwbc{} At this point we have a Finite Eilenberg machine ready to instantiate \ocwec{}\ocweol
\ocwindent{0.00em}
\ocwbc{} the Eilenberg component of the Segment module. \ocwec{}\medskip
\ocwendcode{}\ocwindent{0.00em}
Viccheda sandhi splitting
......@@ -49763,7 +49766,7 @@ Viccheda sandhi splitting
\ocwindent{0.00em}
Global parameters of the lexer
\ocweol
\label{interface.ml:2354}%
\label{interface.ml:2383}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{iterate}~=~$\ocwbt{ref}~$\ocwupperid{True}~$\ocwbc{} by default a chunk is a list of words \ocwec{}\ocweol
......@@ -49801,7 +49804,7 @@ $\ocwlowerid{value}~\ocwlowerid{out\_chan}~=~\ocwlowerid{output\_channel}$\ocweo
\ocwendcode{}\ocwindent{0.00em}
Separates tags of homophonous segments vertically
\ocweol
\label{interface.ml:3009}%
\label{interface.ml:3038}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{fold\_vert}~\ocwlowerid{f}~=~\ocwlowerid{fold}~1~\ocwlowerid{where}~$\ocwkw{rec}~$\ocwlowerid{fold}~\ocwlowerid{n}~=~$\ocwkw{fun}\ocweol
......@@ -49892,12 +49895,12 @@ $]$\ocweol
\ocwendcode{}\ocwindent{0.00em}
Parsing mandatory checkpoints
\ocweol
\label{interface.ml:4989}%
\label{interface.ml:5018}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
\ocwkw{open}~$\ocwupperid{Checkpoints};~$\ocwbc{} \ocwbegindcode{}$\ocwlowerid{string\_points}$\ocwenddcode{} \ocwec{}\medskip
\label{interface.ml:5031}%
\label{interface.ml:5060}%
\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{rpc}~=~\ocwupperid{Paths.}\ocwlowerid{remote\_server\_host}~$\ocweol
\ocwindent{0.00em}
......@@ -50610,7 +50613,7 @@ $]~$\^{}\ocweol
\ocwendcode{}\ocwindent{0.00em}
Cache management
\ocweol
\label{interface.ml:19038}%
\label{interface.ml:19067}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{make\_cache\_transducer}~(\ocwlowerid{cache}~:~\ocwupperid{Morphology.}\ocwlowerid{inflected\_map})~=~$\ocweol
......@@ -50671,22 +50674,20 @@ $[~\ocwupperid{Annotator}~\rightarrow{}~$\ocwstring{"Abort"}\ocweol
\ocwindent{2.00em}
$\mid{}~\ocwupperid{Reader}~\mid{}~\ocwupperid{Manager}~\rightarrow{}~$\ocwstring{"Continue\ocwvspace{}reading"}\ocweol
\ocwindent{2.00em}
$]$\ocweol
\ocwindent{1.00em}
$)$\ocweol
$])$\ocweol
\ocwindent{1.00em}
\ocwkw{in}\ocweol
\ocwkw{and}~$\ocwlowerid{permission}~=~\ocwupperid{Web\_corpus.}\ocwlowerid{string\_of\_permission}~\ocwlowerid{corpmode}~$\ocwkw{in}\ocweol
\ocwindent{1.00em}
$\ocwlowerid{center\_begin}~$\^{}\ocweol
\ocwindent{1.00em}
\ocwindent{3.00em}
$\ocwlowerid{cgi\_begin}~(\ocwupperid{Cgi.}\ocwlowerid{url}~\ocwlowerid{corpus\_manager\_cgi}~$\~{}$\ocwlowerid{fragment}:\ocwlowerid{sentno})~$\ocwstring{""}~\^{}\ocweol
\ocwindent{1.00em}
\ocwindent{5.50em}
$\ocwlowerid{hidden\_input}~\ocwupperid{Params.}\ocwlowerid{corpus\_dir}~\ocwlowerid{corpdir}~$\^{}\ocweol
\ocwindent{1.00em}
$\ocwlowerid{hidden\_input}~\ocwupperid{Params.}\ocwlowerid{corpus\_permission}~(\ocwupperid{Web\_corpus.}\ocwlowerid{string\_of\_permission}~\ocwlowerid{corpmode})~$\^{}\ocweol
\ocwindent{1.00em}
\ocwindent{5.50em}
$\ocwlowerid{hidden\_input}~\ocwupperid{Params.}\ocwlowerid{corpus\_permission}~\ocwlowerid{permission}~$\^{}\ocweol
\ocwindent{5.50em}
$\ocwlowerid{submit\_input}~\ocwlowerid{submit\_button\_label}~$\^{}\ocweol
\ocwindent{1.00em}
\ocwindent{3.00em}
$\ocwlowerid{cgi\_end}~$\^{}\ocweol
\ocwindent{1.00em}
$\ocwlowerid{center\_end}$\ocweol
......@@ -50853,7 +50854,7 @@ $]~$\ocwkw{in}\ocweol
\ocwindent{3.50em}
\ocwkw{let}~$\ocwlowerid{new\_chunk\_len}~=~\ocwupperid{Word.}\ocwlowerid{length}~(\ocwupperid{Encode.}\ocwlowerid{switch\_code}~\ocwlowerid{translit}~\ocwlowerid{revised})~$\ocwkw{in}\ocweol
\ocwindent{3.50em}
\ocwkw{let}~$\ocwlowerid{diff}~=~\ocwlowerid{new\_chunk\_len}~-~\ocwlowerid{word\_len}~$\ocwkw{in}\ocweol
\ocwkw{let}~$\ocwlowerid{diff}~=~\ocwlowerid{new\_chunk\_len}-\ocwlowerid{word\_len}~$\ocwkw{in}\ocweol
\ocwindent{3.50em}
\ocwkw{let}~$\ocwlowerid{revised\_check}~=~$\ocweol
\ocwindent{4.50em}
......@@ -50887,14 +50888,10 @@ $\ocwlowerid{graph\_cgi}~$\^{}~\ocwstring{"?"}~\^{}~$\ocwlowerid{text}~$\^{}~\oc
\ocwindent{6.00em}
\ocwstring{";cpts="}~\^{}~$(\ocwlowerid{string\_points}~\ocwlowerid{checkpoints})~$\^{}~\ocwstring{"\symbol{92}";\}\symbol{92}n\ensuremath{<}/script\ensuremath{>}"}$)$\ocweol
\ocwindent{2.50em}
\ocwkw{else}~$()$\medskip
\ocwendcode{}\ocwindent{2.50em}
Save sentence button
\ocweol
\label{interface.ml:25520}%
\medskip
\ocwbegincode{}\ocwindent{1.50em}
\ocwkw{else}~$()$\ocweol
\ocwindent{2.50em}
\ocwbc{} Save sentence button \ocwec{}\ocweol
\ocwindent{1.50em}
;~\ocwkw{if}~$\ocwlowerid{corpus\_permission}~=~\ocwupperid{Web\_corpus.Annotator}~$\ocwkw{then}\ocweol
\ocwindent{2.50em}
\ocwbc{} TODO: use \ocwbegindcode{}$\ocwlowerid{segment\_all}$\ocwenddcode{} to compute the nb of sols instead of
......@@ -50902,32 +50899,20 @@ Save sentence button
\ocwindent{3.50em}
$\ocwlowerid{save\_button}~\ocwlowerid{query}~(\ocwupperid{Num.}\ocwlowerid{num\_of\_int}~0)~|\ensuremath{>}~\ocwlowerid{pl}$\ocweol
\ocwindent{2.50em}
\ocwkw{else}\ocweol
\ocwindent{3.50em}
$()$\medskip
\label{interface.ml:25750}%
\ocwkw{else}~$()$\ocweol
\ocwindent{1.50em}
;~$\ocwlowerid{html\_break}~|\ensuremath{>}~\ocwlowerid{pl}$\ocweol
\ocwindent{2.50em}
\ocwbc{} Quit button: continue reading (reader mode) or quit without
saving (annotator mode). \ocwec{}\ocweol
\ocwindent{1.50em}
;~$\ocwlowerid{html\_break}~|\ensuremath{>}~\ocwlowerid{pl}$\medskip
\ocwendcode{}\ocwindent{2.50em}
Quit button: continue reading (reader mode) or quit without
saving (annotator mode).
\ocweol
\label{interface.ml:25878}%
\medskip
\ocwbegincode{}\ocwindent{1.50em}
;~\ocwkw{if}~$\ocwlowerid{sentence\_no}~\not=~$\ocwstring{""}~\ocwkw{then}\ocweol
\ocwindent{3.50em}
$\ocwlowerid{quit\_button}~\ocwlowerid{corpus\_permission}$\ocweol
\ocwindent{4.50em}
$(\ocwupperid{Cgi.}\ocwlowerid{decode\_url}~\ocwlowerid{corpus\_dir})~(\ocwupperid{Cgi.}\ocwlowerid{decode\_url}~\ocwlowerid{sentence\_no})~|\ensuremath{>}~\ocwlowerid{pl}$\ocweol
\ocwindent{2.50em}
\ocwkw{else}\ocweol
\ocwindent{3.50em}
$()$\medskip
\label{interface.ml:26039}%
\ocwkw{else}~$()$\ocweol
\ocwindent{1.50em}
;~$\ocwlowerid{close\_page\_with\_margin}~()$\ocweol
\ocwindent{1.50em}
......@@ -55074,10 +55059,10 @@ $\ocwlowerid{strip\_heading\_and\_trailing\_spaces}~(\ocwlowerid{copy\_decode\_i
\ocwkw{else}~$\ocwlowerid{s};$\medskip
\ocwendcode{}\ocwindent{0.00em}
ça convertit une chaine venant de l'URL en une a-list; la chaine est
une suite de paires clé=valeur séparées par des ; ou des \&
converts a string coming from the URL into an a-list; the string is
a sequence of pairs key=vallue separated by ; or \&
\ocweol
\label{cgi.ml:2451}%
\label{cgi.ml:2439}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{create\_env}~\ocwlowerid{s}~=$\ocweol
......@@ -55086,13 +55071,13 @@ $\ocwlowerid{value}~\ocwlowerid{create\_env}~\ocwlowerid{s}~=$\ocweol
\ocwindent{2.00em}
\ocwkw{if}~$\ocwlowerid{i}~\equiv~\ocwupperid{Bytes.}\ocwlowerid{length}~\ocwlowerid{s}~$\ocwkw{then}\ocweol
\ocwindent{3.00em}
\ocwkw{if}~$\ocwlowerid{i}~\equiv~\ocwlowerid{beg}~$\ocwkw{then}~$[\,]~$\ocwkw{else}~$[\ocwupperid{Bytes.}\ocwlowerid{sub}~\ocwlowerid{s}~\ocwlowerid{beg}~(\ocwlowerid{i}~-~\ocwlowerid{beg})]$\ocweol
\ocwkw{if}~$\ocwlowerid{i}~\equiv~\ocwlowerid{beg}~$\ocwkw{then}~$[\,]~$\ocwkw{else}~$[~\ocwupperid{Bytes.}\ocwlowerid{sub}~\ocwlowerid{s}~\ocwlowerid{beg}~(\ocwlowerid{i}~-~\ocwlowerid{beg})~]$\ocweol
\ocwindent{2.00em}
\ocwkw{else}~\ocwkw{if}~$\ocwlowerid{s}.[\ocwlowerid{i}]~\equiv~\verb!';'!~\lor{}~\ocwlowerid{s}.[\ocwlowerid{i}]~\equiv~\verb!'&'!~$\ocwkw{then}\ocweol
\ocwindent{3.00em}
\ocwkw{let}~$\ocwlowerid{next\_i}~=~\ocwlowerid{succ}~\ocwlowerid{i}~$\ocwkw{in}\ocweol
\ocwkw{let}~$\ocwlowerid{next\_i}~=~\ocwlowerid{succ}~\ocwlowerid{i}~$\ocwkw{in}~\ocweol
\ocwindent{3.00em}
$[\ocwupperid{Bytes.}\ocwlowerid{sub}~\ocwlowerid{s}~\ocwlowerid{beg}~(\ocwlowerid{i}~-~\ocwlowerid{beg})~::~\ocwlowerid{get\_assoc}~\ocwlowerid{next\_i}~\ocwlowerid{next\_i}]$\ocweol
$[~\ocwupperid{Bytes.}\ocwlowerid{sub}~\ocwlowerid{s}~\ocwlowerid{beg}~(\ocwlowerid{i}~-~\ocwlowerid{beg})~::~\ocwlowerid{get\_assoc}~\ocwlowerid{next\_i}~\ocwlowerid{next\_i}~]$\ocweol
\ocwindent{2.00em}
\ocwkw{else}~$\ocwlowerid{get\_assoc}~\ocwlowerid{beg}~(\ocwlowerid{succ}~\ocwlowerid{i})~$\ocwkw{in}\ocweol
\ocwindent{1.00em}
......@@ -55113,7 +55098,7 @@ $\ocwupperid{List.}\ocwlowerid{map}~(\ocwlowerid{separate}~0)~(\ocwlowerid{get\_
\ocwendcode{}\ocwindent{0.00em}
ddr end
\ocweol
\label{cgi.ml:3018}%
\label{cgi.ml:3011}%
\medskip
\ocwbegincode{}\ocwindent{0.00em}
$\ocwlowerid{value}~\ocwlowerid{get}~\ocwlowerid{key}~\ocwlowerid{alist}~\ocwlowerid{default}~=~$\ocweol
......@@ -55143,7 +55128,7 @@ $\ocwlowerid{value}~\ocwlowerid{url\_encode}~\ocwlowerid{s}~=$\ocweol
\ocwendcode{}\ocwindent{1.00em}
Reference: RFC 3986 appendix A
\ocweol
\label{cgi.ml:3438}%
\label{cgi.ml:3431}%
\medskip
\ocwbegincode{}\ocwindent{1.00em}
\ocwkw{let}~$\ocwlowerid{url\_encode}~=~$\ocwkw{fun}\ocweol
......@@ -55152,35 +55137,21 @@ Reference: RFC 3986 appendix A
\ocwindent{2.00em}
$[~\verb!'a'!~..~\verb!'z'!~\mid{}~\verb!'A'!~..~\verb!'Z'!~\mid{}~\verb!'0'!~..~\verb!'9'!~\mid{}~\verb!'-'!~\mid{}~\verb!'.'!~\mid{}~\verb!'_'!~\mid{}~\verb!'~'!~$\ocwkw{as}~$\ocwlowerid{c}~\rightarrow{}$\ocweol
\ocwindent{3.00em}
$\ocwupperid{String.}\ocwlowerid{make}~1~\ocwlowerid{c}$\medskip
\ocwendcode{}\ocwindent{2.00em}
Special case of the space character
\ocweol
\label{cgi.ml:3637}%
\medskip
\ocwbegincode{}\ocwindent{2.00em}
$\mid{}~\verb!' '!~\rightarrow{}~$\ocwstring{"+"}\medskip
\ocwendcode{}\ocwindent{2.00em}
Reserved characters
\ocweol
\label{cgi.ml:3685}%
\medskip
\ocwbegincode{}\ocwindent{2.00em}
$\ocwupperid{String.}\ocwlowerid{make}~1~\ocwlowerid{c}$\ocweol
\ocwindent{2.00em}
\ocwbc{} Special case of the space character \ocwec{}\ocweol
\ocwindent{2.00em}
$\mid{}~\verb!' '!~\rightarrow{}~$\ocwstring{"+"}\ocweol
\ocwindent{2.00em}
\ocwbc{} Reserved characters \ocwec{}\ocweol
\ocwindent{2.00em}
$\mid{}~\ocwlowerid{c}~\rightarrow{}~$\ocwstring{"\%"}~\^{}~$\ocwlowerid{hexa\_str}~\ocwlowerid{c}$\ocweol
\ocwindent{2.00em}
$]$\ocweol
\ocwindent{1.00em}
\ocwkw{in}\medskip
\label{cgi.ml:3725}%
$]~$\ocwkw{in}\ocweol
\ocwindent{1.00em}
\ocwkw{let}~$\ocwlowerid{char\_of\_string}~\ocwlowerid{s}~=$\ocweol
\ocwindent{2.00em}
\ocwkw{if}~$\ocwupperid{String.}\ocwlowerid{length}~\ocwlowerid{s}~=~1~$\ocwkw{then}~$\ocwlowerid{s}.[0]~$\ocwkw{else}~$\ocwlowerid{failwith}~$\ocwstring{"char\_of\_string"}\ocweol
\ocwindent{1.00em}
\ocwkw{in}\ocweol
\ocwkw{if}~$\ocwupperid{String.}\ocwlowerid{length}~\ocwlowerid{s}~=~1~$\ocwkw{then}~$\ocwlowerid{s}.[0]~$\ocwkw{else}~$\ocwlowerid{failwith}~$\ocwstring{"char\_of\_string"}~\ocwkw{in}\ocweol
\ocwindent{1.00em}
\ocwkw{let}~$\ocwlowerid{subst}~\ocwlowerid{s}~=~\ocwlowerid{s}~|\ensuremath{>}~\ocwupperid{Str.}\ocwlowerid{matched\_string}~|\ensuremath{>}~\ocwlowerid{char\_of\_string}~|\ensuremath{>}~\ocwlowerid{url\_encode}~$\ocwkw{in}\ocweol
\ocwindent{1.00em}
......@@ -55204,9 +55175,7 @@ $[~\ocwupperid{None}~\rightarrow{}~$\ocwstring{""}\ocweol
\ocwindent{2.00em}
$\mid{}~\ocwupperid{Some}~\ocwlowerid{part}~\rightarrow{}~\ocwlowerid{prefix}~$\^{}~$\ocwlowerid{part}$\ocweol
\ocwindent{2.00em}
$]$\ocweol
\ocwindent{1.00em}
\ocwkw{in}\ocweol
$]~$\ocwkw{in}\ocweol
\ocwindent{1.00em}
\ocwkw{let}~$\ocwlowerid{query\_part}~=~\ocwlowerid{opt\_part}~$\ocwstring{"?"}~$\ocwlowerid{query}~$\ocwkw{in}\ocweol
\ocwindent{1.00em}
......@@ -57724,6 +57693,18 @@ $\ocwlowerid{value}~\ocwlowerid{nb\_sols}~:~\ocwlowerid{t}~\rightarrow{}~\ocwupp
$\ocwlowerid{value}~\ocwlowerid{to\_string}~:~\ocwlowerid{t}~\rightarrow{}~$\ocwbt{string}\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{of\_string}~:~$\ocwbt{string}~$\rightarrow{}~\ocwlowerid{t}$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{encode}~:~\ocwlowerid{t}~\rightarrow{}~$\ocwbt{string}~$\rightarrow{}~\ocwupperid{Word.}\ocwlowerid{word}$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{decode}~:~\ocwlowerid{t}~\rightarrow{}~\ocwupperid{Word.}\ocwlowerid{word}~\rightarrow{}~$\ocwbt{string}\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{0.00em}
\ocwkw{end}\ocweol
\ocwindent{0.00em}
......@@ -58027,6 +58008,18 @@ $\ocwlowerid{value}~\ocwlowerid{nb\_sols}~\ocwlowerid{a}~=~\ocwlowerid{a.}\ocwlo
$\ocwlowerid{value}~\ocwlowerid{to\_string}~:~\ocwlowerid{t}~\rightarrow{}~$\ocwbt{string}\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{of\_string}~:~$\ocwbt{string}~$\rightarrow{}~\ocwlowerid{t}$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{encode}~:~\ocwlowerid{t}~\rightarrow{}~$\ocwbt{string}~$\rightarrow{}~\ocwupperid{Word.}\ocwlowerid{word}$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{decode}~:~\ocwlowerid{t}~\rightarrow{}~\ocwupperid{Word.}\ocwlowerid{word}~\rightarrow{}~$\ocwbt{string}\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{0.00em}
\ocwkw{end}~=~\ocwkw{struct}\ocweol
\ocwindent{1.00em}
......@@ -58051,6 +58044,44 @@ $\mid{}~\ocwupperid{IAST}~\rightarrow{}~$\ocwstring{"roma"}\ocweol
$]$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~$\ocwkw{rec}~$\ocwlowerid{of\_string}~=~$\ocwkw{fun}\ocweol
\ocwindent{2.00em}
$[~$\ocwstring{"VH"}~$\rightarrow{}~\ocwupperid{Velthuis}$\ocweol
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"WX"}~$\rightarrow{}~\ocwupperid{WX}$\ocweol
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"KH"}~$\rightarrow{}~\ocwupperid{KH}$\ocweol
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"SL"}~$\rightarrow{}~\ocwupperid{SLP1}$\ocweol
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"deva"}~$\rightarrow{}~\ocwupperid{Devanagari}$\ocweol
\ocwindent{2.00em}
$\mid{}~$\ocwstring{"roma"}~$\rightarrow{}~\ocwupperid{IAST}$\ocweol
\ocwindent{2.00em}
$\mid{}~\ocwlowerid{\_}~\rightarrow{}~\ocwupperid{Velthuis}$\ocweol
\ocwindent{2.00em}
$]$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{encode}~\ocwlowerid{encoding}~=~\ocwlowerid{encoding}~|\ensuremath{>}~\ocwlowerid{to\_string}~|\ensuremath{>}~\ocwupperid{Encode.}\ocwlowerid{switch\_code}$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{decode}~=~$\ocwkw{fun}\ocweol
\ocwindent{1.00em}
$[~\ocwupperid{Velthuis}~\mid{}~\ocwupperid{WX}~\mid{}~\ocwupperid{KH}~\mid{}~\ocwupperid{SLP1}~$\ocwkw{as}~$\ocwlowerid{encoding}~\rightarrow{}$\ocweol
\ocwindent{2.00em}
$\ocwlowerid{encoding}~|\ensuremath{>}~\ocwlowerid{to\_string}~|\ensuremath{>}~\ocwupperid{Canon.}\ocwlowerid{switch\_decode}$\ocweol
\ocwindent{1.00em}
$\mid{}~\ocwupperid{Devanagari}~\rightarrow{}~\ocwupperid{Canon.}\ocwlowerid{unidevcode}$\ocweol
\ocwindent{1.00em}
$\mid{}~\ocwupperid{IAST}~\rightarrow{}~\ocwupperid{Canon.}\ocwlowerid{uniromcode}$\ocweol
\ocwindent{1.00em}
$]$\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{0.00em}
\ocwkw{end}\ocweol
\ocwindent{0.00em}
......@@ -58120,23 +58151,7 @@ $\ocwlowerid{value}~\ocwlowerid{id}~\ocwlowerid{s}~=~\ocwlowerid{s.}\ocwlowerid{
\ocwindent{1.00em}
$\ocwlowerid{value}~\ocwlowerid{text}~\ocwlowerid{encoding}~\ocwlowerid{s}~=$\ocweol
\ocwindent{2.00em}
\ocwkw{let}~$\ocwlowerid{encode\_word}~=$\ocweol
\ocwindent{3.00em}
\ocwkw{match}~$\ocwlowerid{encoding}~$\ocwkw{with}\ocweol
\ocwindent{3.00em}
$[~\ocwupperid{Encoding.Velthuis}~\mid{}~\ocwupperid{Encoding.WX}~\mid{}~\ocwupperid{Encoding.KH}~\mid{}~\ocwupperid{Encoding.SLP1}~\rightarrow{}$\ocweol
\ocwindent{4.00em}
$\ocwlowerid{encoding}~|\ensuremath{>}~\ocwupperid{Encoding.}\ocwlowerid{to\_string}~|\ensuremath{>}~\ocwupperid{Canon.}\ocwlowerid{switch\_decode}$\ocweol
\ocwindent{3.00em}
$\mid{}~\ocwupperid{Encoding.Devanagari}~\rightarrow{}~\ocwupperid{Canon.}\ocwlowerid{unidevcode}$\ocweol
\ocwindent{3.00em}
$\mid{}~\ocwupperid{Encoding.IAST}~\rightarrow{}~\ocwupperid{Canon.}\ocwlowerid{uniromcode}$\ocweol
\ocwindent{3.00em}
$]$\ocweol
\ocwindent{2.00em}
\ocwkw{in}\ocweol
\ocwindent{2.00em}
$\ocwlowerid{s.}\ocwlowerid{text}~|\ensuremath{>}~\ocwupperid{List.}\ocwlowerid{map}~\ocwlowerid{encode\_word}~|\ensuremath{>}~\ocwupperid{String.}\ocwlowerid{concat}~$\ocwstring{"\ocwvspace{}"}\ocweol
$\ocwlowerid{s.}\ocwlowerid{text}~|\ensuremath{>}~\ocwupperid{List.}\ocwlowerid{map}~(\ocwupperid{Encoding.}\ocwlowerid{decode}~\ocwlowerid{encoding})~|\ensuremath{>}~\ocwupperid{String.}\ocwlowerid{concat}~$\ocwstring{"\ocwvspace{}"}\ocweol
\ocwindent{1.00em}
;\ocweol
\ocwindent{1.00em}
......@@ -58422,11 +58437,13 @@ $\ocwlowerid{value}~\ocwlowerid{url}~\ocwlowerid{dir}~\ocwlowerid{permission}~\o
\ocwindent{2.00em}
\ocwkw{let}~$\ocwlowerid{analysis}~=~\ocwupperid{Sentence.}\ocwlowerid{analysis}~\ocwlowerid{sentence}~$\ocwkw{in}\ocweol
\ocwindent{2.00em}
\ocwkw{let}~$\ocwlowerid{encoding}~=~\ocwupperid{Encoding.}\ocwlowerid{of\_string}~\ocwupperid{Paths.}\ocwlowerid{default\_transliteration}~$\ocwkw{in}\ocweol
\ocwindent{2.00em}
\ocwkw{let}~$\ocwlowerid{env}~=$\ocweol
\ocwindent{3.00em}
$[~(\ocwupperid{Params.}\ocwlowerid{corpus\_permission},~\ocwlowerid{string\_of\_permission}~\ocwlowerid{permission})$\ocweol
\ocwindent{3.00em}
;~$($\ocwstring{"text"},~$\ocwupperid{Sentence.}\ocwlowerid{text}~\ocwupperid{Encoding.Velthuis}~\ocwlowerid{sentence})$\ocweol
;~$($\ocwstring{"text"},~$\ocwupperid{Sentence.}\ocwlowerid{text}~\ocwlowerid{encoding}~\ocwlowerid{sentence})$\ocweol
\ocwindent{3.00em}
;~$($\ocwstring{"cpts"},~$\ocwupperid{Analysis.}\ocwlowerid{checkpoints}~\ocwlowerid{analysis})$\ocweol
\ocwindent{3.00em}
......@@ -58462,6 +58479,8 @@ $[~(\ocwupperid{Params.}\ocwlowerid{corpus\_permission},~\ocwlowerid{string\_of\
\ocwindent{3.00em}
;~$($\ocwstring{"text"},~$\ocwupperid{Sentence.}\ocwlowerid{text}~\ocwupperid{Encoding.Velthuis}~\ocwlowerid{sentence})$\ocweol
\ocwindent{3.00em}
;~$($\ocwstring{"t"},~$\ocwupperid{Encoding}.(\ocwlowerid{to\_string}~\ocwupperid{Velthuis}))$\ocweol
\ocwindent{3.00em}
;~$($\ocwstring{"cpts"},~$\ocwupperid{Analysis.}\ocwlowerid{checkpoints}~\ocwlowerid{analysis})$\ocweol
\ocwindent{3.00em}
;~$(\ocwupperid{Params.}\ocwlowerid{corpus\_dir},~\ocwlowerid{dir})$\ocweol
......@@ -58555,12 +58574,12 @@ Type representing interval of missing integers in a sorted list.
;\ocweol
\ocwindent{0.00em}
\ocwbc{} The following functions assume that the given list is sorted in
increasing order and represents a subset of positive integers. In
particular, the lowest bound of a gap is at least \ocwbegindcode{}1\ocwenddcode{} and the
greatest at most \ocwbegindcode{}$\ocwlowerid{max\_int}$\ocwenddcode{}). We call \ocwstring{"group"} a list of consecutive
increasing order and represents a subset of positive integers.
In particular, the lowest bound of a gap is at least \ocwbegindcode{}1\ocwenddcode{} and the
greatest at most \ocwbegindcode{}$\ocwlowerid{max\_int}$\ocwenddcode{}). We call \ocwstring{"group"} a list of consecutive
integers. \ocwec{}\medskip
\label{corpus_manager.ml:1093}%
\label{corpus_manager.ml:1092}%
\ocwindent{0.00em}