--# -path=.:../common:../abstract

resource MakeStructuralDut = open CatDut, ParadigmsDut, 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 = <>} ;
--
--}

}
