diff --git a/lib/resource/api/Constructors.gf b/lib/resource/api/Constructors.gf index f8dd06f79..0a540fe7d 100644 --- a/lib/resource/api/Constructors.gf +++ b/lib/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