Module Pasta_bindings.Fp

type nonrec t
val size_in_bits : unit -> int
val size : unit -> BigInt256.t
val add : t -> t -> t
val sub : t -> t -> t
val negate : t -> t
val mul : t -> t -> t
val div : t -> t -> t
val inv : t -> t option
val square : t -> t
val is_square : t -> bool
val sqrt : t -> t option
val of_int : int -> t
val to_string : t -> string
val of_string : string -> t
val print : t -> unit
val copy : t -> t -> unit
val mut_add : t -> t -> unit
val mut_sub : t -> t -> unit
val mut_mul : t -> t -> unit
val mut_square : t -> unit
val compare : t -> t -> int
val equal : t -> t -> bool
val random : unit -> t
val rng : int -> t
val to_bigint : t -> BigInt256.t
val of_bigint : BigInt256.t -> t
val two_adic_root_of_unity : unit -> t
val domain_generator : int -> t
val to_bytes : t -> bytes
val of_bytes : bytes -> t
val deep_copy : t -> t