package smol-helpers

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Test_helpers.Test_Mul_Monoid`Source

module A : Smol.Algebra.Mul_Monoid_S

include sig ... end

Sourceval pp : Format.formatter -> A.t -> unit

Sourceval testable : A.t Alcotest.testable

Sourceval check : msg:string -> expected:A.t -> actual:A.t -> unit

Sourceval test_mul_one : (unit -> A.t) -> unit -> unit

Sourceval test_mul_commute : (unit -> A.t) -> unit -> unit

Sourceval test_mul_assoc : (unit -> A.t) -> unit -> unit

Sourceval tests : (unit -> A.t) -> (kind * string * (unit -> unit)) list

Sourceval tests_commutative : (unit -> A.t) -> (kind * string * (unit -> unit)) list

Sourceval tests_non_commutative : 'a -> 'b list