You can search for identifiers within the package.
in-package search v0.2.0
exception Not_on_curve of Bytes.t
type t = Mec.Curve.Jubjub.AffineEdwards.t
val size_in_bytes : int
module Scalar : sig ... end
module Base : sig ... end
val check_bytes : Bytes.t -> bool
val of_bytes_opt : Bytes.t -> t option
val of_bytes_exn : Bytes.t -> t
val to_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 a : Base.t
val d : Base.t
val cofactor : Z.t
val is_on_curve : u:Base.t -> v:Base.t -> bool
val is_in_prime_subgroup : u:Base.t -> v:Base.t -> bool
val get_u_coordinate : t -> Base.t
val get_v_coordinate : t -> Base.t
val to_montgomery_curve_parameters : unit -> (Base.t * Base.t * Z.t * (Base.t * Base.t)) option
val to_montgomery : t -> (Base.t * Base.t) option
val from_coordinates_opt : u:Base.t -> v:Base.t -> t option
val from_coordinates_exn : u:Base.t -> v:Base.t -> t
val unsafe_from_coordinates : u:Base.t -> v:Base.t -> t