type fr
type scalar
val allocate_scalar : unit -> scalar
val callocate_fr : unit -> fr
val mallocate_fr : unit -> fr
val scalar_of_fr : scalar -> fr -> int
val fr_of_scalar : fr -> scalar -> int
val fr_of_bytes_le : fr -> Bytes.t -> bool
val fr_to_bytes_le : Bytes.t -> fr -> int
val scalar_of_bytes_le : scalar -> Bytes.t -> int
val scalar_to_bytes_le : Bytes.t -> scalar -> int
val check_scalar : scalar -> bool
val add : fr -> fr -> fr -> int
val eq : fr -> fr -> bool
val is_zero : fr -> bool
val is_one : fr -> bool
val sub : fr -> fr -> fr -> int
val mul : fr -> fr -> fr -> int
val sqr : fr -> fr -> int
val eucl_inverse : fr -> fr -> int
val memcpy : fr -> fr -> int
val fft_inplace : fr array -> fr array -> int -> int
val mul_map_inplace : fr array -> fr -> int -> int
val inner_product : fr -> fr array -> fr array -> int -> int
