Integer_mod (pari.Pari.Integer

type t = integer_mod ty

val inj_group : t -> integer_mod ty

val create : Integer.t -> modulo:Integer.t -> t

val create_assume_prime_modulus : 
  Integer.t ->
  modulo:Integer.t ->
  integer_mod ty

val lift : integer_mod ty -> Integer.t

val inverse : integer_mod ty -> integer_mod ty option

val mul : integer_mod ty -> integer_mod ty -> integer_mod ty

val pow : integer_mod ty -> Integer.t -> integer_mod ty

val chinese : (t, [ `ROW ]) Vector.t -> t

val to_string : integer_mod ty -> string

val get_modulo : integer_mod ty -> Integer.t

val order : integer_mod ty -> Integer.t

val log : base:integer_mod ty -> integer_mod ty -> Integer.t option