Module PC.Polynomial

type scalar = Scalar.t
module Domain : sig ... end
module Polynomial : sig ... end
module Evaluations : sig ... end
module Srs : sig ... end