package alg_structs_qcheck

  1. Overview
  2. Docs

Module Alg_structs_qcheck.FoldableSource

QCheck tests of Foldable Laws

Sourcemodule Alg = Alg_structs
Sourcemodule type S = sig ... end
Sourceval test : (module S) -> QCheck.Test.t list
Sourceval tests : (module S) list -> QCheck.Test.t list