package hardcaml_step_testbench

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Testbench Monad

Install

sha256=2a8382d8acb404fced2e8b9fb794e5ac14cee6e15a77149b5c63ad560f873953

Sourcemodule type S = sig ... end

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

Sourcemodule Bool : S with type t = Base.Bool.t

Sourcemodule Int : S with type t = Base.Int.t

Sourcemodule String : S with type t = Base.String.t

Sourcemodule Unit : S with type t = Base.Unit.t

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