mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-21 18:59:32 -06:00
15 lines
243 B
Plaintext
15 lines
243 B
Plaintext
abstract Params3 = {
|
|
cat G ; S ;
|
|
fun
|
|
mkPred : S ;
|
|
mkModSgHumanTrue : G -> S ;
|
|
mkModSgHumanFalse : G -> S ;
|
|
mkModSgNonTrue : S ;
|
|
mkModSgNonFalse : S ;
|
|
mkModPl : S ;
|
|
|
|
GMasc : G ;
|
|
GFem : G ;
|
|
GNeutr : G ;
|
|
}
|