diff --git a/src/pari.mli b/src/pari.mli index 5d946e1..835d5b6 100644 --- a/src/pari.mli +++ b/src/pari.mli @@ -266,7 +266,7 @@ module Matrix : sig val inj : 'a t -> inj:('a -> 'b) -> 'b t end -module rec Polynomial : sig +module Polynomial : sig type 'a t = ('a polynomial, ring) typ constraint 'a = ('b, ring) typ val to_string : 'a t -> string