Sum.Trunc
type ws
val make : int -> ws
val accel : float array -> ws -> Fun.result
type ws_info = {
size : int;
terms_used : int;
sum_plain : float;
}
val get_info : ws -> ws_info