Kimchi_backend_common.Poly_commmodule type Inputs_intf = sig ... endtype 'a t = [ | `With_degree_bound of
('a * 'a) Pickles_types.Or_infinity.t
Pickles_types.Plonk_types.Poly_comm.With_degree_bound.t |
| `Without_degree_bound of
('a * 'a) Pickles_types.Plonk_types.Poly_comm.Without_degree_bound.t |
]module Make (Inputs : Inputs_intf) : sig ... end