ExtraSpa.UseComp_ser

This commit is contained in:
aarneranta
2023-03-29 14:00:29 +02:00
parent 5ea609092b
commit ac2c5c52ac
3 changed files with 3 additions and 1 deletions
+1
View File
@@ -33,6 +33,7 @@ abstract ExtraSpaAbs = ExtraRomanceAbs ** {
PassVPSlash_ser : VPSlash -> VP ;
UseComp_estar : Comp -> VP ; -- esta lleno, as opposed to es lleno
UseComp_ser : Comp -> VP ; -- es lleno, as opposed to esta lleno
cual_IComp : IComp ; -- cual es ...