Parameter LiftTop.N

val topname : string