package owi

  1. Overview
  2. Docs
package owi
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Base
type 'a t
val return : 'a -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
val map : 'a t -> ('a -> 'b) -> 'b t
val select : V.vbool -> bool t
val select_i32 : V.int32 -> Int32.t t
val trap : Trap.t -> 'a t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val let+ : 'a t -> ('a -> 'b) -> 'b t
type thread
type 'a run_result
val assertion : V.vbool -> unit t
val with_thread : (thread -> 'b) -> 'b t
val solver : Solver.solver t
val thread : thread t
val add_pc : V.vbool -> unit t
val run : workers:int -> 'a t -> thread -> 'a run_result
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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