package mec

  1. Overview
  2. Docs
Mec - Mini Elliptic Curve library

Install 

dune-project
 Dependency

gitlab.com Readme Edit opam file Versions (1)

Authors

  1. D
    Danny Willems <be.danny.willems@gmail.com>

Maintainers

  1. D
    Danny Willems <be.danny.willems@gmail.com>

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.MakeEqualitySource

Parameters

Signature

Sourceval zero : unit -> unit

Verify the equality is correct with the value zero

Sourceval one : unit -> unit

Verify the equality is correct with the value one

Sourceval random_same_objects : unit -> unit

Verify the equality of two random values created invidually

Sourceval get_tests : unit -> string * unit Alcotest.test_case list

Returns the tests to be used with Alcotest