1-Inputs.Constant
type t
val random : unit -> t
val to_affine_exn : t -> F.Constant.t * F.Constant.t
val of_affine : (F.Constant.t * F.Constant.t) -> t
val (+) : t -> t -> t
val negate : t -> t