package hardcaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

The type of variables in guarded assignments. Variables may be asychronous wires, or synchronous regs. The current value of the variable may be accessed through the value field below.

type internal
type t = private {
  1. value : Signal.t;
  2. internal : internal;
}
val internal : t -> internal
val value : t -> Signal.t
module Fields : sig ... end
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val wire : default:Signal.t -> t

create a wire

val reg : Reg_spec.t -> enable:Signal.t -> width:Base.Int.t -> t

create a register

val pipeline : depth:Base.Int.t -> Reg_spec.t -> enable:Signal.t -> width:Base.Int.t -> t

create a pipeline of registers

OCaml

Innovation. Community. Security.