Lines Matching refs:nl
485 | "Not" => let val (nf,nl) = uniq (List.hd args) l subs in (``~(^nf)``,nl) end
488 | "DIAMOND" => let val (nf,nl) = uniq (List.last args) l subs in (``<<^(List.hd args)>> (^nf)``,nl) end
489 | "BOX" => let val (nf,nl) = uniq (List.last args) l subs in (``[[^(List.hd args)]] (^nf)``,nl) end
493 val (nf,nl) = uniq (List.last args) (l@[nn]) subs
494 in (``mu ^(nn) .. ^nf``,l@nl) end
495 else let val (nf,nl) = uniq (List.last args) ((List.hd args)::l) subs in (``mu ^(List.hd args) .. ^nf``,l@nl) end
499 val (nf,nl) = uniq (List.last args) (l@[nn]) subs
500 in (``nu ^(nn) .. ^nf``,l@nl) end
501 else let val (nf,nl) = uniq (List.last args) ((List.hd args)::l) subs in (``nu ^(List.hd args) .. ^nf``,l@nl) end