forked from GitHub/gf-core
added agrP3 function like in the other languages
This commit is contained in:
@@ -102,6 +102,9 @@ resource ResBul = ParamX ** open Prelude in {
|
|||||||
--2 Transformations between parameter types
|
--2 Transformations between parameter types
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
agrP3 : GenNum -> Agr = \gn ->
|
||||||
|
{gn = gn; p = P3} ;
|
||||||
|
|
||||||
conjGenNum : GenNum -> GenNum -> GenNum = \a,b ->
|
conjGenNum : GenNum -> GenNum -> GenNum = \a,b ->
|
||||||
case <a,b> of {
|
case <a,b> of {
|
||||||
<GSg _,GSg g> => GSg g ;
|
<GSg _,GSg g> => GSg g ;
|
||||||
|
|||||||
Reference in New Issue
Block a user