package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Bonsai_quickcheckSource

Sourceval clear_log : unit -> unit
Sourceval read_log : unit -> Core.Sexp.t
Sourcemodule Map_comparator : sig ... end
Sourcemodule Effect_func_comparator : sig ... end
Sourcemodule Witness : sig ... end
Sourcemodule Function : sig ... end
Sourcemodule Value : sig ... end
Sourcemodule Computation : sig ... end
Sourcemodule Top_level_computation : sig ... end
Sourcemodule Packed_real_computation : sig ... end
Sourceval to_packed_real_computation : Computation.packed -> Packed_real_computation.t
Sourceval packed_computation_to_ocaml_code : ?indent:int -> Computation.packed -> string
Sourcetype 'w incoming
Sourceval witness_to_result_spec : ('w, 'cmp) Witness.t -> (module Bonsai_test.Result_spec.S with type incoming = 'w incoming and type t = 'w)
Sourceval actions_generator : ('a, 'cmp) Witness.t -> 'a incoming Core.Quickcheck.Generator.t option
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct