forked from GitHub/gf-core
35 lines
694 B
Plaintext
35 lines
694 B
Plaintext
incomplete concrete NDLiftFunctor of NDLift =
|
|
RGLBase - [Pol,Tense]
|
|
,NDPred
|
|
|
|
** open Lift in {
|
|
|
|
lin
|
|
LiftV = Lift.LiftV ;
|
|
LiftV2 = Lift.LiftV2 ;
|
|
LiftVS = Lift.LiftVS ;
|
|
LiftVQ = Lift.LiftVQ ;
|
|
LiftVV = Lift.LiftVV ;
|
|
LiftVA = Lift.LiftVA ;
|
|
LiftVN = Lift.LiftVN ;
|
|
|
|
LiftV3 = Lift.LiftV3 ;
|
|
LiftV2S = Lift.LiftV2S ;
|
|
LiftV2Q = Lift.LiftV2Q ;
|
|
LiftV2V = Lift.LiftV2V ;
|
|
LiftV2A = Lift.LiftV2A ;
|
|
LiftV2N = Lift.LiftV2N ;
|
|
|
|
LiftAP = Lift.LiftAP ;
|
|
LiftA2 = Lift.LiftA2 ;
|
|
LiftCN = Lift.LiftCN ;
|
|
LiftN2 = Lift.LiftN2 ;
|
|
|
|
AppAPCN = Lift.AppAPCN ;
|
|
|
|
LiftAdv = Lift.LiftAdv ;
|
|
LiftAdV = Lift.LiftAdV ;
|
|
LiftPrep = Lift.LiftPrep ;
|
|
|
|
}
|