diff options
Diffstat (limited to 'next-lib/src/api')
| -rw-r--r-- | next-lib/src/api/Constructors.gf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index 305c30c6d..2c93f6769 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -1378,6 +1378,13 @@ incomplete resource Constructors = open Grammar in { = AdvIP } ; + mkIDet = overload { + mkIDet : IQuant -> Num -> IDet -- which (songs) + = \i,nu -> IdetQuant i nu ; + mkIDet : IQuant -> IDet -- which (song) + = \i -> IdetQuant i NumSg ; + } ; + whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; |