module Sum:sig..end
type ws
val make : int -> ws
val accel : float array -> ws -> Fun.result
type ws_info = {
|
size : |
|
terms_used : |
|
sum_plain : |
val get_info : ws -> ws_info
module Trunc:sig..end