Snarky_taylor (snarky_taylor.Snarky

module Floating_point : sig ... end

val bignum_as_fixed_point : int -> Bignum.t -> Snarky_integer.Util.B.t

val least : such_that:( int -> bool ) -> int

val greatest : such_that:( int -> 'a option ) -> 'b

val factorial : Snarky_integer.Util.B.t -> Snarky_integer.Util.B.t

val log : terms:int -> Bignum.t -> Bignum.t

val terms_needed : 
  derivative_magnitude_upper_bound:( Core_kernel.Int.t -> Bignum.t ) ->
  bits_of_precision:Snarky_integer.Util.B.t ->
  Core_kernel.Int.t

val ceil_log2 : Snarky_integer.Util.B.t -> int

val binary_expansion : Bignum.t -> bool Base.Sequence.t

module Coeff_integer_part : sig ... end

module Params : sig ... end

module Exp : sig ... end