overload mkCard
This commit is contained in:
1 parent
dfbb267505
commit
a52e08bcff
1 file changed
+3
@@ -14,5 +14,8 @@ oper
|
||||
mkIP = overload SyntaxCze {
|
||||
mkIP : Str -> IP = P.mkIP ;
|
||||
} ;
|
||||
mkCard = overload SyntaxCze {
|
||||
mkCard : Str -> Card = P.mkCard ;
|
||||
} ;
|
||||
|
||||
}
|
||||
Reference in new issue
Block a user