package smol-helpers

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package smol-helpers

smol-helpers
- CHANGES
- LICENSE
- README
- Library smol-helpers
  - Smol_helpers
    
    Test_helpers
    
    Make
    
    Test_Basics
    
    Test_Mul_Monoid
    
    Test_Add_Monoid
    
    Test_Add_Group
    
    Test_Semiring
    
    Test_Field
- Sources
  - smol-helpers
    
    smol_helpers.ml
    
    test_helpers.ml

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

Module `Test_helpers.Make`Source

Parameters

module A : Smol.Algebra.Basic_S

Signature

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

Sourceval testable : A.t Alcotest.testable

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