package hardcaml_step_testbench

  1. Overview
  2. Docs
module type S = sig ... end
type 'd t = (module S with type t = 'd)
module Bool : S with type t = Base.Bool.t
module Int : S with type t = Base.Int.t
module String : S with type t = Base.String.t
module Unit : S with type t = Base.Unit.t
module Pair (D1 : S) (D2 : S) : S with type t = D1.t * D2.t