package prbnmcn-proptest

You can search for identifiers within the package.

in-package search v0.2.0

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

Module `Proptest.Generic`Source

Sourcemodule type Name = sig ... end

Sourcemodule type Generator = sig ... end

Sourceval add_test : string -> bool Crowbar.gen -> unit

Sourceval apply : 'a Crowbar.gen -> ('a -> 'b) -> 'b Crowbar.gen

Sourceval apply_pair : 'a Crowbar.gen -> ('a -> 'a -> 'b) -> 'b Crowbar.gen

Sourceval apply_triple : 'a Crowbar.gen -> ('a -> 'a -> 'a -> 'b) -> 'b Crowbar.gen

Sourceval sf : ('a, unit, string) format -> 'a