prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
Module Proptest . Array . Helpers

Parameters

module L : sig ... end
module K : Generic.Generator with type t = A.index Repr.m
module V : Generic.Generator with type t = A.elt Repr.m

Signature

type array = A.t
type key = A.index Repr.m
type value = A.elt Repr.m
type actions =
| Set of key * value * actions
| Nil
val actions_gen : actions Crowbar.gen
val interpret : actions -> A.t A.m -> unit M.m
val array_gen : A.t M.m Crowbar.gen