mkDet in MakeStructuralEng,Fin

This commit is contained in:
Aarne Ranta
2018-12-27 12:28:18 +01:00
parent 65526b6c4b
commit d9d3699b20
2 changed files with 5 additions and 0 deletions

View File

@@ -11,5 +11,7 @@ oper
lin IDet {s = s ; n = n} ;
mkIQuant : Str -> Str -> IQuant = \s,n ->
lin IQuant {s = table {Sg => s ; Pl => n}} ;
mkDet : Str -> Number -> Det = \s,n ->
lin Det (mkDeterminer n s) ;
}

View File

@@ -10,4 +10,7 @@ oper
mkIQuant : Str -> IQuant = \s ->
{s = \\n,c => s ; lock_IQuant = <>} ; ----
mkDet : N -> Number -> Det = \s,n ->
MorphoFin.mkDet n s ;
}