Pseudo.Degree_bound
type nonrec !'n t = ( int, 'n ) t
val shifted_pow : crs_max_degree:int -> 'a t -> Step_main_inputs.Impl.Field.t -> Step_main_inputs.Impl.Field.t