forked from GitHub/gf-core
18 lines
397 B
Plaintext
18 lines
397 B
Plaintext
--# -path=.:../common:../abstract
|
|
|
|
resource MakeStructuralDut = open CatDut, ParadigmsDut, MorphoDut, 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 = \\_,_,_ => s ; lock_IQuant = <>} ;
|
|
--
|
|
--}
|
|
|
|
}
|