Lines Matching defs:ht
529 fun mk_links [] ht n = ()
530 | mk_links (h::r) ht n =
532 Data.Code c => mk_links r ht (add1 n)
533 | Data.BranchS b => mk_links r ht (add1 n)
534 | Data.BranchN b => mk_links r ht (add1 n)
536 (ht := Redblackmap.insert
537 (!ht, s, "0x" ^ Arbnum.toHexString (mul4 n));
538 (*(Polyhash.insert ht (s, "0x" ^ Arbnum.toHexString (mul4 n));*)
539 mk_links r ht n)
540 | Data.Mark m => mk_links r ht (div4 m);
542 fun mk_link_table code = let val ht = label_table() in
543 mk_links code ht start; ht
546 fun br_to_term (cond,link,label) ht n =
549 Redblackmap.find (!ht, label)
554 (*Polyhash.find ht label*)
566 fun do_link m l [] ht n = zip m l
567 | do_link m l (h::r) ht n =
571 r ht (add1 n)
573 do_link m (lcons (mk_enc (br_to_term b ht n)) l) r ht (add1 n)
576 do_link m (lcons t l) r ht (add1 n)
578 | Data.Label s => do_link m l r ht n
581 do_link m l r ht n
583 do_link (k::(tl m)) l r ht k
585 do_link (k::m) ([]::l) r ht k