Snarky_taylor.Params
type t = {
total_precision : int;
per_term_precision : int;
terms_needed : int;
linear_term_integer_part : Coeff_integer_part.t;
coefficients : ([ `Neg | `Pos ] * Snarky_integer.Util.B.t) array;
}