Skip to content

Commit

Permalink
remove unused rec keyword
Browse files Browse the repository at this point in the history
  • Loading branch information
jtcoolen committed Aug 25, 2024
1 parent 38f6302 commit 3b8b7f9
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/pari.mli
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -356,14 +356,14 @@ module rec Polynomial : sig
val inj_base_ring : inj:('a -> 'b) -> 'a t -> 'b t
end

and Fp : sig
module Fp : sig
type t = Integer.t

val add : t -> t -> modulo:t -> t
val pow : t -> exponent:t -> modulo:t -> t
end

and Finite_field : sig
module Finite_field : sig
type t = (finite_field, field) typ

val inj_ring : t -> (finite_field, ring) typ
Expand Down

0 comments on commit 3b8b7f9

Please sign in to comment.