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