Lines Matching defs:used
182 used : meter_reading,
189 used = zero_reading,
195 fun munge_node (n, Subnode {solns, cost, used, ...}) =
196 if Option.isSome solns then SOME (calc_cost cost used, n) else NONE;
206 fun subnode_info verbose (Subnode {name, used, solns, ...}) =
207 name ^ (if verbose then used_to_string used else time_to_string (#time used))
229 val Subnode {name, used, solns, cost} = List.nth (nodes,n)
236 val used = add_readings used r
240 Subnode {name = name, used = used, cost = cost, solns = solns}