Lines Matching refs:dummy
83 fun mk_leaf keymap ranks s mxl dummy =
95 in Binarymap.find(keymap,key) handle NotFound => dummy end
105 fun mk_subtree keymap ranks cl mxl ccl i s k dummy =
108 (s^(if (List.null k) then "+" else Char.toString (String.sub(hd k,Vector.sub(ranks,i))))) k dummy
114 else Char.toString(String.sub(hd kl,Vector.sub(ranks,i))))) kl dummy
115 else mk_subtree keymap ranks cl mxl (List.take((tl ccl),(List.length ccl) div 2)) i s kl dummy
118 else Char.toString(String.sub(hd kr,Vector.sub(ranks,i))))) kr dummy
119 else mk_subtree keymap ranks cl mxl (List.drop((tl ccl),(List.length ccl) div 2)) i s kr dummy
125 and mk_tree_aux keymap ranks cl mxl i s keys dummy =
127 then mk_leaf keymap ranks s mxl dummy
132 (s^(if (List.null keys) then "+" (* "+" indicates a dummy node *)
133 else Char.toString (String.sub(hd keys,Vector.sub(ranks,i))))) keys dummy
134 else mk_subtree keymap ranks cl mxl (inorder ccl) i s keys dummy end
150 val dummy = if (List.null keys) then ``ARB`` else ``ARB:^(ty_antiq(type_of (snd(hd keymap))))``
152 mk_tree_aux keymap2 ranks cl mxl 0 "" sk dummy),