Module Polynomial.BoundWithProof
val make : WithProof.t -> t optionval mul_bound : t -> t -> t optionval bound : t -> Vect.Bound.tval proof : t -> WithProof.t
Polynomial.BoundWithProofval make : WithProof.t -> t optionval mul_bound : t -> t -> t optionval bound : t -> Vect.Bound.tval proof : t -> WithProof.t