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