Lines Matching refs:tag
199 fun build (prefix,tag,plist) =
202 in (prefix,tag, c'::plist') end
208 fun build (prefix,tag,plist) =
210 in (prefix,tag,list_mk_comb(c,args)::plist') end
218 fun v_to_pats (v::prefix,tag, pats) = (prefix, tag, v::pats)
350 let val (tag,tm) = dest_pattern rhs
351 in ([(prefix,tag,[])], tm)
742 fun func (_,(tag,i),[pat]) = tag (pat,i)