forked from GitHub/gf-core
Swedish functor implementation of Base
This commit is contained in:
@@ -4,14 +4,17 @@ oper
|
||||
even_A = mkA "even" ;
|
||||
odd_A = mkA "odd" ;
|
||||
prime_A = mkA "prime" ;
|
||||
great_A = mkA "great" ;
|
||||
common_A = mkA "common" ;
|
||||
equal_A2 = mkA2 (mkA "equal") (mkPrep "to") ;
|
||||
greater_A2 = mkA2 (mkA "greater") (mkPrep "than") ; ---
|
||||
smaller_A2 = mkA2 (mkA "smaller") (mkPrep "than") ; ---
|
||||
divisible_A2 = mkA2 (mkA "divisible") (mkPrep "by") ;
|
||||
number_N = mkN "number" ;
|
||||
sum_N2 = mkN2 (mkN "sum") (mkPrep "of") ;
|
||||
-- product_N2 : N2 ;
|
||||
-- gcd_N2 : N2 ;
|
||||
product_N2 = mkN2 (mkN "product") (mkPrep "of") ;
|
||||
divisor_N2 = mkN2 (mkN "divisor") (mkPrep "of") ;
|
||||
|
||||
none_NP = mkNP (mkPN "none") ; ---
|
||||
|
||||
-- noSg_Det : Det ;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user