Snarky_curve.Constant_intf
type field
type t
val random : unit -> t
val to_affine_exn : t -> field * field
val of_affine : (field * field) -> t
val (+) : t -> t -> t
val negate : t -> t