package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Library
Module
Module type
Parameter
Class
Class type
val clear_log : unit -> unit
val read_log : unit -> Core.Sexp.t
module Map_comparator : sig ... end
module Effect_func_comparator : sig ... end
module Witness : sig ... end
module Function : sig ... end
module Value : sig ... end
module Computation : sig ... end
module Top_level_computation : sig ... end
module Packed_real_computation : sig ... end
val to_packed_real_computation : Computation.packed -> Packed_real_computation.t
val packed_computation_to_ocaml_code : ?indent:int -> Computation.packed -> string
type 'w incoming
val witness_to_result_spec : ('w, 'cmp) Witness.t -> (module Bonsai_test.Result_spec.S with type incoming = 'w incoming and type t = 'w)
val 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