package windtrap

  1. Overview
  2. Docs
One library for all your OCaml tests

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

  1. Thibaut Mattio

Maintainers

  1. Thibaut Mattio

Sources

windtrap-0.1.0.tbz
sha256=2241b294b24ed5d56ea8b834d296e6fabc5dbdd924a89f51c14b00da66c50a25
sha512=c6cf83028bb09d0f2afeb38fce6825620873a6bbeff4b5b77e928bc2fc69262d49fe341961cba2b451c9dc9bd0df414f06bb73020c7131b125c6abd85c6bc5dd

doc/src/windtrap.prop/windtrap_prop.ml.html

Source file windtrap_prop.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
(*---------------------------------------------------------------------------
   Copyright (c) 2026 Invariant Systems. All rights reserved.
   SPDX-License-Identifier: ISC
  ---------------------------------------------------------------------------*)

module Gen = Gen
module Arbitrary = Arbitrary
module Prop = Prop

let assume = Prop.assume
let reject = Prop.reject
let collect = Prop.collect
let classify = Prop.classify
let cover = Prop.cover