Lines Matching defs:count
457 fun count v (FUN_VAL tm) s = occ v tm s
458 | count v (FUN_COND (tm,t)) s = count v t (occ v tm s)
459 | count v (FUN_IF (tm,x1,x2)) s = count v x1 (count v x2 (occ v tm s))
460 | count v (FUN_LET (lhs,rhs,t2)) s = let
462 val inner_s = count v t 0
464 in count v t2 (occ v lhs (occ v rhs (inner_s + s))) end
465 val freq = map (fn v => (v,count v (snd (last ts)) 0)) vs