package mec
Mec - Mini Elliptic Curve library
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-ec-0.1.0.tar.bz2
md5=7c68b531c8011b5d032f0a0d8523e8c5
sha512=f428751c5f2b7c7fc07548551bea0277c9c8c32c1052aecf22787188e7678939dbb091844e29178b2819d724cf843c65774d9211c0a0ede5bf71caff3f2dd1bc
doc/mec_curve_utils/Mec_curve_utils/PBT/MakeEquality/index.html
Module PBT.MakeEquality
Source
Parameters
module G : Mec_curve_sig.Ec_sig.BASE
Signature
Verify the equality is correct with the value zero
Verify the equality is correct with the value one
Verify the equality of two random values created invidually
Returns the tests to be used with Alcotest
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page