package prbnmcn-proptest

  1. Overview
  2. Docs
module type Name = sig ... end
module type Generator = sig ... end
val add_test : string -> bool Crowbar.gen -> unit
val apply : 'a Crowbar.gen -> ('a -> 'b) -> 'c Crowbar.gen
val apply_pair : 'a Crowbar.gen -> ('b -> 'a -> 'c) -> 'd Crowbar.gen
val apply_triple : 'a Crowbar.gen -> ('b -> 'c -> 'a -> 'd) -> 'e Crowbar.gen
val sf : ('a, unit, string) Stdlib.format -> 'a