diff --git a/resource/api/Constructors.gf b/resource/api/Constructors.gf index f8dd06f7..0a540fe7 100644 --- a/resource/api/Constructors.gf +++ b/resource/api/Constructors.gf @@ -1618,6 +1618,13 @@ incomplete resource Constructors = open Grammar in { mkListNP : NP -> ListNP -> ListNP = ConsNP } ; + mkCard = overload { + mkCard : Numeral -> Card + = NumNumeral ; + mkNum : Digits -> Card -- 51 + = NumDigits ; + } ; + ------------ for backward compatibility