Fix bescherelle tests broken (True/False order)

This commit is contained in:
gregoire.detrez
2013-12-03 14:29:36 +00:00
parent 302e2d3ebd
commit 23f13d5b55
81 changed files with 81 additions and 81 deletions

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => aimer
s . CommonRomance.VInfin Prelude.False => aimer
s . CommonRomance.VInfin Prelude.True => aimer
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => aime
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => aimes
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => aime

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => placer
s . CommonRomance.VInfin Prelude.False => placer
s . CommonRomance.VInfin Prelude.True => placer
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => place
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => places
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => place

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => manger
s . CommonRomance.VInfin Prelude.False => manger
s . CommonRomance.VInfin Prelude.True => manger
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => mange
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => manges
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => mange

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => peser
s . CommonRomance.VInfin Prelude.False => peser
s . CommonRomance.VInfin Prelude.True => peser
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => pèse
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => pèses
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => pèse

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => céder
s . CommonRomance.VInfin Prelude.False => céder
s . CommonRomance.VInfin Prelude.True => céder
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cède
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cèdes
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => cède

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => jeter
s . CommonRomance.VInfin Prelude.False => jeter
s . CommonRomance.VInfin Prelude.True => jeter
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => jette
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => jettes
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => jette

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => modeler
s . CommonRomance.VInfin Prelude.False => modeler
s . CommonRomance.VInfin Prelude.True => modeler
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => modèle
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => modèles
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => modèle

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => créer
s . CommonRomance.VInfin Prelude.False => créer
s . CommonRomance.VInfin Prelude.True => créer
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => crée
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => crées
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => crée

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => assiéger
s . CommonRomance.VInfin Prelude.False => assiéger
s . CommonRomance.VInfin Prelude.True => assiéger
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => assiège
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => assièges
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => assiège

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => apprécier
s . CommonRomance.VInfin Prelude.False => apprécier
s . CommonRomance.VInfin Prelude.True => apprécier
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => apprécie
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => apprécies
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => apprécie

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => payer
s . CommonRomance.VInfin Prelude.False => payer
s . CommonRomance.VInfin Prelude.True => payer
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => paie
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => paies
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => paie

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => broyer
s . CommonRomance.VInfin Prelude.False => broyer
s . CommonRomance.VInfin Prelude.True => broyer
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => broie
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => broies
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => broie

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => envoyer
s . CommonRomance.VInfin Prelude.False => envoyer
s . CommonRomance.VInfin Prelude.True => envoyer
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => envoie
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => envoies
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => envoie

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => finir
s . CommonRomance.VInfin Prelude.False => finir
s . CommonRomance.VInfin Prelude.True => finir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => finis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => finis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => finit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => haïr
s . CommonRomance.VInfin Prelude.False => haïr
s . CommonRomance.VInfin Prelude.True => haïr
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => hais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => hais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => hait

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => aller
s . CommonRomance.VInfin Prelude.False => aller
s . CommonRomance.VInfin Prelude.True => aller
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vas
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => va

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => tenir
s . CommonRomance.VInfin Prelude.False => tenir
s . CommonRomance.VInfin Prelude.True => tenir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => tiens
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => tiens
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => tient

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => acquérir
s . CommonRomance.VInfin Prelude.False => acquérir
s . CommonRomance.VInfin Prelude.True => acquérir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => acquiers
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => acquiers
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => acquiert

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => sentir
s . CommonRomance.VInfin Prelude.False => sentir
s . CommonRomance.VInfin Prelude.True => sentir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sens
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sens
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sent

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => vêtir
s . CommonRomance.VInfin Prelude.False => vêtir
s . CommonRomance.VInfin Prelude.True => vêtir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vêts
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vêts
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vêt

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => couvrir
s . CommonRomance.VInfin Prelude.False => couvrir
s . CommonRomance.VInfin Prelude.True => couvrir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => couvre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => couvres
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => couvre

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => cueillir
s . CommonRomance.VInfin Prelude.False => cueillir
s . CommonRomance.VInfin Prelude.True => cueillir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cueille
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cueilles
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => cueille

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => assaillir
s . CommonRomance.VInfin Prelude.False => assaillir
s . CommonRomance.VInfin Prelude.True => assaillir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => assaille
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => assailles
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => assaille

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => faillir
s . CommonRomance.VInfin Prelude.False => faillir
s . CommonRomance.VInfin Prelude.True => faillir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => faux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => faux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => faut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => bouillir
s . CommonRomance.VInfin Prelude.False => bouillir
s . CommonRomance.VInfin Prelude.True => bouillir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => bous
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => bous
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => bout

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => dormir
s . CommonRomance.VInfin Prelude.False => dormir
s . CommonRomance.VInfin Prelude.True => dormir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dors
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dors
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => dort

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => courir
s . CommonRomance.VInfin Prelude.False => courir
s . CommonRomance.VInfin Prelude.True => courir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cours
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cours
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => court

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => mourir
s . CommonRomance.VInfin Prelude.False => mourir
s . CommonRomance.VInfin Prelude.True => mourir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => meurs
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => meurs
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => meurt

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => servir
s . CommonRomance.VInfin Prelude.False => servir
s . CommonRomance.VInfin Prelude.True => servir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sers
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sers
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sert

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => fuir
s . CommonRomance.VInfin Prelude.False => fuir
s . CommonRomance.VInfin Prelude.True => fuir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => fuis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => fuis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => fuit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => ouïr
s . CommonRomance.VInfin Prelude.False => ouïr
s . CommonRomance.VInfin Prelude.True => ouïr
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => ois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => ois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => oit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => cevoir
s . CommonRomance.VInfin Prelude.False => cevoir
s . CommonRomance.VInfin Prelude.True => cevoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => çois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => çois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => çoit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => recevoir
s . CommonRomance.VInfin Prelude.False => recevoir
s . CommonRomance.VInfin Prelude.True => recevoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => reçois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => reçois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => reçoit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => voir
s . CommonRomance.VInfin Prelude.False => voir
s . CommonRomance.VInfin Prelude.True => voir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => voit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => pourvoir
s . CommonRomance.VInfin Prelude.False => pourvoir
s . CommonRomance.VInfin Prelude.True => pourvoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => pourvois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => pourvois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => pourvoit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => savoir
s . CommonRomance.VInfin Prelude.False => savoir
s . CommonRomance.VInfin Prelude.True => savoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sait

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => devoir
s . CommonRomance.VInfin Prelude.False => devoir
s . CommonRomance.VInfin Prelude.True => devoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => doit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => pouvoir
s . CommonRomance.VInfin Prelude.False => pouvoir
s . CommonRomance.VInfin Prelude.True => pouvoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => peux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => peux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => peut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => mouvoir
s . CommonRomance.VInfin Prelude.False => mouvoir
s . CommonRomance.VInfin Prelude.True => mouvoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => meus
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => meus
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => meut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => pleuvoir
s . CommonRomance.VInfin Prelude.False => pleuvoir
s . CommonRomance.VInfin Prelude.True => pleuvoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => pleut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => falloir
s . CommonRomance.VInfin Prelude.False => falloir
s . CommonRomance.VInfin Prelude.True => falloir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => faut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => valoir
s . CommonRomance.VInfin Prelude.False => valoir
s . CommonRomance.VInfin Prelude.True => valoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vaux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vaux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vaut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => vouloir
s . CommonRomance.VInfin Prelude.False => vouloir
s . CommonRomance.VInfin Prelude.True => vouloir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => veux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => veux
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => veut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => asseoir
s . CommonRomance.VInfin Prelude.False => asseoir
s . CommonRomance.VInfin Prelude.True => asseoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => assieds
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => assieds
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => assied

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => seoir
s . CommonRomance.VInfin Prelude.False => seoir
s . CommonRomance.VInfin Prelude.True => seoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sied

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => messeoir
s . CommonRomance.VInfin Prelude.False => messeoir
s . CommonRomance.VInfin Prelude.True => messeoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => messied

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => surseoir
s . CommonRomance.VInfin Prelude.False => surseoir
s . CommonRomance.VInfin Prelude.True => surseoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sursois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sursois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sursoit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => choir
s . CommonRomance.VInfin Prelude.False => choir
s . CommonRomance.VInfin Prelude.True => choir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => chois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => chois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => choit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => échoir
s . CommonRomance.VInfin Prelude.False => échoir
s . CommonRomance.VInfin Prelude.True => échoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => échoit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => déchoir
s . CommonRomance.VInfin Prelude.False => déchoir
s . CommonRomance.VInfin Prelude.True => déchoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => déchois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => déchois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => déchoit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => rendre
s . CommonRomance.VInfin Prelude.False => rendre
s . CommonRomance.VInfin Prelude.True => rendre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => rends
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => rends
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => rend

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => prendre
s . CommonRomance.VInfin Prelude.False => prendre
s . CommonRomance.VInfin Prelude.True => prendre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => prends
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => prends
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => prend

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => battre
s . CommonRomance.VInfin Prelude.False => battre
s . CommonRomance.VInfin Prelude.True => battre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => bats
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => bats
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => bat

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => mettre
s . CommonRomance.VInfin Prelude.False => mettre
s . CommonRomance.VInfin Prelude.True => mettre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => mets
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => mets
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => met

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => peindre
s . CommonRomance.VInfin Prelude.False => peindre
s . CommonRomance.VInfin Prelude.True => peindre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => peins
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => peins
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => peint

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => joindre
s . CommonRomance.VInfin Prelude.False => joindre
s . CommonRomance.VInfin Prelude.True => joindre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => joins
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => joins
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => joint

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => craindre
s . CommonRomance.VInfin Prelude.False => craindre
s . CommonRomance.VInfin Prelude.True => craindre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => crains
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => crains
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => craint

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => vaincre
s . CommonRomance.VInfin Prelude.False => vaincre
s . CommonRomance.VInfin Prelude.True => vaincre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vaincs
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vaincs
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vainc

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => traire
s . CommonRomance.VInfin Prelude.False => traire
s . CommonRomance.VInfin Prelude.True => traire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => trais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => trais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => trait

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => faire
s . CommonRomance.VInfin Prelude.False => faire
s . CommonRomance.VInfin Prelude.True => faire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => fais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => fais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => fait

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => plaire
s . CommonRomance.VInfin Prelude.False => plaire
s . CommonRomance.VInfin Prelude.True => plaire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => plais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => plais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => plaît

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => connaître
s . CommonRomance.VInfin Prelude.False => connaître
s . CommonRomance.VInfin Prelude.True => connaître
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => connais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => connais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => connaît

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => naître
s . CommonRomance.VInfin Prelude.False => naître
s . CommonRomance.VInfin Prelude.True => naître
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => nais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => nais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => naît

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => paître
s . CommonRomance.VInfin Prelude.False => paître
s . CommonRomance.VInfin Prelude.True => paître
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => pais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => pais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => paît

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => repaître
s . CommonRomance.VInfin Prelude.False => repaître
s . CommonRomance.VInfin Prelude.True => repaître
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => repais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => repais
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => repaît

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => croître
s . CommonRomance.VInfin Prelude.False => croître
s . CommonRomance.VInfin Prelude.True => croître
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => croîs
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => croîs
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => croît

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => croire
s . CommonRomance.VInfin Prelude.False => croire
s . CommonRomance.VInfin Prelude.True => croire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => crois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => crois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => croit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => boire
s . CommonRomance.VInfin Prelude.False => boire
s . CommonRomance.VInfin Prelude.True => boire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => bois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => bois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => boit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => clore
s . CommonRomance.VInfin Prelude.False => clore
s . CommonRomance.VInfin Prelude.True => clore
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => clos
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => clos
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => clôt

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => conclure
s . CommonRomance.VInfin Prelude.False => conclure
s . CommonRomance.VInfin Prelude.True => conclure
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => conclus
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => conclus
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => conclut

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => absoudre
s . CommonRomance.VInfin Prelude.False => absoudre
s . CommonRomance.VInfin Prelude.True => absoudre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => absous
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => absous
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => absout

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => coudre
s . CommonRomance.VInfin Prelude.False => coudre
s . CommonRomance.VInfin Prelude.True => coudre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => couds
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => couds
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => coud

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => moudre
s . CommonRomance.VInfin Prelude.False => moudre
s . CommonRomance.VInfin Prelude.True => moudre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => mouds
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => mouds
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => moud

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => suivre
s . CommonRomance.VInfin Prelude.False => suivre
s . CommonRomance.VInfin Prelude.True => suivre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => suis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => suis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => suit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => vivre
s . CommonRomance.VInfin Prelude.False => vivre
s . CommonRomance.VInfin Prelude.True => vivre
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => lire
s . CommonRomance.VInfin Prelude.False => lire
s . CommonRomance.VInfin Prelude.True => lire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => lis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => lis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => lit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => dire
s . CommonRomance.VInfin Prelude.False => dire
s . CommonRomance.VInfin Prelude.True => dire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => dit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => rire
s . CommonRomance.VInfin Prelude.False => rire
s . CommonRomance.VInfin Prelude.True => rire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => ris
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => ris
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => rit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => écrire
s . CommonRomance.VInfin Prelude.False => écrire
s . CommonRomance.VInfin Prelude.True => écrire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => écris
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => écris
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => écrit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => confire
s . CommonRomance.VInfin Prelude.False => confire
s . CommonRomance.VInfin Prelude.True => confire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => confis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => confis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => confit

View File

@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => cuire
s . CommonRomance.VInfin Prelude.False => cuire
s . CommonRomance.VInfin Prelude.True => cuire
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cuis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cuis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => cuit