Lines Matching defs:n1
73 val n1 = --`SUC 0 `--;74 val n2 = --`SUC ^n1 `--;80 fun app_l4 l = --` ^n2 :: 0 :: ^n1 :: 0 :: ^l `--;83 --` ^n2 :: 0 :: ^n1 :: 0 :: ^n1 :: ^n3 :: ^n4 ::84 ^n1 :: 0 :: ^n1 :: ^n3 :: 0 :: ^n1 :: ^n3 ::85 ^n4 :: ^n2 :: 0 :: ^n1 :: 0 :: ^n1 :: ^l `--