1-Inputs.Poly_comm
module Backend : sig ... end
type t = Curve.Base_field.t Poly_comm0.t
val of_backend_without_degree_bound : Backend.t -> t