package hardcaml_step_testbench

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Testbench Monad

Install

sha256=a21b13cf03b84f06471e7c31ecbac8df1b08f8ac1156d0f3a41d2250ea293b2f

Sourcemodule type S = sig ... end

Sourcetype 'd t = (module S with type t = 'd)

Sourcemodule Bool : S with type t = Base.bool

Sourcemodule Int : S with type t = Base.int

Sourcemodule String : S with type t = Base.string

Sourcemodule Unit : S with type t = Base.unit

Sourcemodule Pair (D1 : S) (D2 : S) : S with type t = D1.t * D2.t