Tick.Inner_curveinclude module type of struct include Crypto_params.Tick.Inner_curve endmodule Params = Crypto_params.Tick.Inner_curve.Paramstype t = Pasta_bindings.Pallas.tval to_affine : t -> Pasta_bindings.Pallas.Affine.tval of_affine_coordinates :
Kimchi_pasta_basic.Fp.t ->
Kimchi_pasta_basic.Fp.t ->
tval scale : t -> Kimchi_pasta_basic.Fq.t -> tval random : unit -> tmodule Base_field = Crypto_params.Tick.Inner_curve.Base_fieldval one : tval zero : tval y_squared : Kimchi_pasta_basic.Fp.t -> Kimchi_pasta_basic.Fp.tmodule Affine = Crypto_params.Tick.Inner_curve.Affineval to_affine_or_infinity :
Pasta_bindings.Pallas.t ->
Pasta_bindings.Pallas.Affine.tval to_affine_exn :
Pasta_bindings.Pallas.t ->
Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.tval of_affine :
(Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.t) ->
Pasta_bindings.Pallas.tval bin_size_t : t Bin_prot.Size.sizerval bin_write_t : t Bin_prot.Write.writerval bin_read_t : t Bin_prot.Read.readerval __bin_read_t__ : ( int -> t ) Bin_prot.Read.readerval bin_writer_t : t Bin_prot.Type_class.writerval bin_reader_t : t Bin_prot.Type_class.readerval bin_t : t Bin_prot.Type_class.tval (*) : Kimchi_pasta_basic.Fq.t -> t -> tval find_y : Kimchi_pasta_basic.Fp.t -> Kimchi_pasta_basic.Fp.t optionval point_near_x : Kimchi_pasta_basic.Fp.t -> Pasta_bindings.Pallas.tval t_of_sexp : Sexplib0__.Sexp.t -> tval sexp_of_t : t -> Sexplib0__.Sexp.ttype var = Tick0.Field.Var.t * Tick0.Field.Var.tmodule Scalar : sig ... endmodule Checked : sig ... endval typ : ( Checked.t, Crypto_params.Tick.Inner_curve.t ) Fq.Impl.Typ.t