add functions from BareRGMay to ExtendMay

2022-05-11 14:56:48 +08:00
parent 3e79ab25e1
commit c712efc8eb
6 changed files with 49 additions and 10 deletions
@@ -9,6 +9,7 @@ oper
 -- should always use these constants instead of the constructors
 -- defined in $ResSom$.

+noPrep : Prep = mkPrep "" ;

 --2 Nouns