blob: 2c32709cb4f28329f4557a2c9fdd39a28ddcd60f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--# -path=.:../common:../abstract
resource MakeStructuralFin = open CatFin, ParadigmsFin, MorphoFin, Prelude in {
oper
mkConj : Str -> Str -> Number -> Conj = \x,y,n ->
{s1 = x ; s2 = y ; n = n ; lock_Conj = <>} ;
mkSubj : Str -> Subj = \x ->
{s = x ; lock_Subj = <>} ;
mkIQuant : Str -> IQuant = \s ->
{s = \\n,c => s ; lock_IQuant = <>} ; ----
}
|