added some functions to overloaded API
This commit is contained in:
1 parent
aa5cff205d
commit
49dcc123b5
1 file changed
+1
-1
@@ -19,7 +19,7 @@ incomplete concrete ExtFoodsI of ExtFoods = FoodsI ** open Syntax, LexFoods in {
|
||||
mkText (mkQS (mkQCl (mkIP whichSg_IDet kind) guest verb)) ;
|
||||
WhichVerbWant kind guest verb =
|
||||
mkText (mkQS (mkQCl (mkIP whichSg_IDet kind)
|
||||
(mkSlash guest want_VV verb))) ;
|
||||
(mkClSlash guest want_VV verb))) ;
|
||||
WhichIs kind quality =
|
||||
mkText (mkQS (mkQCl (mkIP whichSg_IDet kind) (mkVP quality))) ;
|
||||
|
||||
|
||||
Reference in new issue
Block a user