package prbnmcn-proptest

  1. Overview
  2. Docs

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 =
  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
OCaml

Innovation. Community. Security.