package smol-helpers

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module A : Smol.Algebra.Field_S

include sig ... end

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

val testable : A.t Alcotest.testable

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

val test_two_elements : unit -> unit

val test_inv : (unit -> A.t) -> unit -> unit

val test_div : (unit -> A.t) -> unit -> unit

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