1
0
forked from GitHub/gf-rgl

Ara.ExtAdvS

This commit is contained in:
aarneranta
2024-03-22 13:51:20 +01:00
parent f85fa84ae0
commit bd75a0529c

View File

@@ -71,4 +71,5 @@ concrete SentenceAra of Sentence = CatAra ** open
UseSlash t p cls = UseCl t p (complClSlash cls) ;
AdvS adv s = s ** {s = \\o => adv.s ++ s.s ! o} ;
ExtAdvS adv s = s ** {s = \\o => adv.s ++ s.s ! o} ;
}