The Sanskrit Reader Companion

Show Summary of Solutions

Input: evam etad bhaved rājan kāryāpekṣam anantaram

Sentence: एवम् एतत् भवेत् राजन् कार्यापेक्षम् अनन्तरम्
may be analysed as:


Solution 43 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|aā⟩]
[ apekṣam
[apekṣā]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 86 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|aā⟩]
[ apekṣam
[apekṣā]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


2 solutions kept among 86
Filtering efficiency: 98%

Additional candidate solutions

Solution 1 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāri
[kāri]{iic.}
[kārin]{iic.}
i|ā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 2 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāri
[kāri]{iic.}
[kārin]{iic.}
i|ā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 3 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāri
[kāri]{iic.}
[kārin]{iic.}
i|ā⟩]
[ āpā
[āpa_2]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 4 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāri
[kārin]{n. sg. acc. | n. sg. nom.}
i|ā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 5 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāri
[kārin]{n. sg. acc. | n. sg. nom.}
i|ā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 18 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[
[kim]{f. sg. nom.}
ā|āā⟩]
[ ārya
[ārya { pfp. [1] }[]]{iic.}
a|aā⟩]
[ apekṣam
[apekṣā]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 35 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[
[kim]{f. sg. nom.}
ā|aā⟩]
[ arya
[arya { pfp. [1] }[]]{iic.}
a|aā⟩]
[ apekṣam
[apekṣā]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 36 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāryā
[kārya { pfp. [1] }[kṛ_1]]{f. sg. nom.}
[kārya { pfp. [1] }[kṝ]]{f. sg. nom.}
[kārya { ca. pfp. [1] }[kṛ_1]]{f. sg. nom.}
ā|āā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 37 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāryā
[kārya { pfp. [1] }[kṛ_1]]{f. sg. nom.}
[kārya { pfp. [1] }[kṝ]]{f. sg. nom.}
[kārya { ca. pfp. [1] }[kṛ_1]]{f. sg. nom.}
ā|āā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 39 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kāryā
[kārya { pfp. [1] }[kṛ_1]]{f. sg. nom.}
[kārya { pfp. [1] }[kṝ]]{f. sg. nom.}
[kārya { ca. pfp. [1] }[kṛ_1]]{f. sg. nom.}
ā|aā⟩]
[ apa
[apa]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{ind.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 40 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|āā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 41 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|āā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 42 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. nom.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|āā⟩]
[ āpā
[āpa_2]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 44 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāri
[kāri]{iic.}
[kārin]{iic.}
i|ā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 45 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāri
[kāri]{iic.}
[kārin]{iic.}
i|ā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 46 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāri
[kāri]{iic.}
[kārin]{iic.}
i|ā⟩]
[ āpā
[āpa_2]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 47 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāri
[kārin]{n. sg. acc. | n. sg. nom.}
i|ā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 48 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāri
[kārin]{n. sg. acc. | n. sg. nom.}
i|ā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 61 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[
[kim]{f. sg. nom.}
ā|āā⟩]
[ ārya
[ārya { pfp. [1] }[]]{iic.}
a|aā⟩]
[ apekṣam
[apekṣā]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 78 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[
[kim]{f. sg. nom.}
ā|aā⟩]
[ arya
[arya { pfp. [1] }[]]{iic.}
a|aā⟩]
[ apekṣam
[apekṣā]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 79 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāryā
[kārya { pfp. [1] }[kṛ_1]]{f. sg. nom.}
[kārya { pfp. [1] }[kṝ]]{f. sg. nom.}
[kārya { ca. pfp. [1] }[kṛ_1]]{f. sg. nom.}
ā|āā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 80 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāryā
[kārya { pfp. [1] }[kṛ_1]]{f. sg. nom.}
[kārya { pfp. [1] }[kṝ]]{f. sg. nom.}
[kārya { ca. pfp. [1] }[kṛ_1]]{f. sg. nom.}
ā|āā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 82 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kāryā
[kārya { pfp. [1] }[kṛ_1]]{f. sg. nom.}
[kārya { pfp. [1] }[kṝ]]{f. sg. nom.}
[kārya { ca. pfp. [1] }[kṛ_1]]{f. sg. nom.}
ā|aā⟩]
[ apa
[apa]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{ind.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 83 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|āā⟩]
[ āpa
[āpa_1]{iic.}
[āpa_2]{iic.}
a|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 84 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|āā⟩]
[ āpā
[āpa_1]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 85 :
[ evam
[evam]{ind.}
⟨⟩]
[ etat
[etad]{n. sg. acc. | n. sg. nom.}
⟨⟩]
[ bhavet
[bhū_1]{opt. [1] ac. sg. 3}
⟨⟩]
[ rājan
[rājat { ppr. [1] ac. }[rāj_1]]{m. sg. voc.}
⟨⟩]
[ kārya
[kārya { pfp. [1] }[kṛ_1]]{iic.}
[kārya { pfp. [1] }[kṝ]]{iic.}
[kārya { ca. pfp. [1] }[kṛ_1]]{iic.}
a|āā⟩]
[ āpā
[āpa_2]{f. sg. nom.}
ā|īe⟩]
[ īkṣam
[īkṣa]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ anantaram
[anantara]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]




Le chameau Ocaml
Top | Index | Grammar | Sandhi | Reader | Corpus
© Gérard Huet 1994-2024
Logo Inria