Parameter Make.1-F

type t
val size : unit -> Bigint.t
val size_in_bits : unit -> int
val to_bigint : t -> Bigint.t
val of_bigint : Bigint.t -> t
val of_int : int -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val div : t -> t -> t
val inv : t -> t option
val negate : t -> t
val square : t -> t
val sqrt : t -> t option
val is_square : t -> bool
val equal : t -> t -> bool
val print : t -> unit
val to_string : t -> string
val of_string : string -> t
val random : unit -> t
val rng : int -> t
val two_adic_root_of_unity : unit -> t
val mut_add : t -> t -> unit
val mut_mul : t -> t -> unit
val mut_square : t -> unit
val mut_sub : t -> t -> unit
val copy : t -> t -> unit
val to_bytes : t -> bytes
val of_bytes : bytes -> t
val domain_generator : int -> t
module Vector : Snarky_intf.Vector.S with type elt = t