Lines Matching refs:nl
219 fun mkgr (nl,el) =
229 (insEdges (insNodes (M.empty,0,nl),el),length nl-1)
295 fun mkgr (nl,el) =
305 (insEdges (insNodes (M.empty,0,nl),el),length nl-1)
339 fun mkgr (nl,el) =
346 (insEdges (insNodes (M.empty,0,nl),el),length nl-1)
378 fun mkgr (nl,el) =
385 (insEdges (insNodes (M.empty,0,nl),el),length nl-1)