include sig ... end
exception Not_on_curve of Bytes.t
type t
val size_in_bytes : int
module Scalar : sig ... end
val empty : unit -> t
val check_bytes : Bytes.t -> bool
val of_bytes_opt : Bytes.t -> t option
val of_bytes_exn : Bytes.t -> t
val of_compressed_bytes_opt : Bytes.t -> t option
val of_compressed_bytes_exn : Bytes.t -> t
val to_bytes : t -> Bytes.t
val to_compressed_bytes : t -> Bytes.t
val zero : t
val one : t
val is_zero : t -> bool
val random : ?state:Random.State.t -> unit -> t
val add : t -> t -> t
val double : t -> t
val negate : t -> t
val eq : t -> t -> bool
val mul : t -> Scalar.t -> t
val fft : domain:Scalar.t array -> points:t list -> t list
val ifft : domain:Scalar.t array -> points:t list -> t list
val of_z_opt : x:(Z.t * Z.t) -> y:(Z.t * Z.t) -> t option