package prbnmcn-proptest

  1. Overview
  2. Docs

Parameters

Signature

type t = R.t R.m
val interpret : ?zero:R.t R.m -> Free_ring.t -> R.t R.m
val gen : R.t R.m Crowbar.gen
OCaml

Innovation. Community. Security.