gf-3.6: lib/src/experimental/NDLiftFin.gf

concrete NDLiftFin of NDLift =
   RGLBaseFin - [Pol,Tense]
  ,NDPredFin 

    ** NDLiftFunctor with (Lift = LiftFin) ;