Lines Matching defs:total
117 (* Calculate the total length *)118 fun total [] i = i119 | total (h::t) i = total t (i+length h)121 val total_len = total l 0306 (* Calculate the total length *)307 fun total [] i = i308 | total (h::t) i = total t (i+length h)310 val total_len = total l 0