package prbnmcn-proptest

  1. Overview
  2. Docs

Parameters

module N : Generic.Name
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

include sig ... end
type array = A.t
type key = A.index Repr.m
type value = A.elt Repr.m
type actions = Helpers(Repr)(M)(A)(L)(K)(V).actions =
  1. | Set of key * value * actions
  2. | 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