package mec

  1. Overview
  2. Docs
package mec
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

val zero : unit -> unit

Verify the equality is correct with the value zero

val one : unit -> unit

Verify the equality is correct with the value one

val random_same_objects : unit -> unit

Verify the equality of two random values created invidually

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

Returns the tests to be used with Alcotest