package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hardcaml.Bits_listSource

Combinational logic described as lists of Bits ie 0;1;1;1;0.

Width implicitly defined as the length of the list.

Sourcemodule type T = sig ... end
Sourcemodule type Comb = sig ... end
Sourcemodule Make (T : T) : Comb with type t = T.t Base.list

From T construct the combinational API

Sourcemodule Int_comb : Comb with type t = Base.int Base.list

Uses 0,1 as the bit type.

Uses false,true as the bit type.

Sourcemodule X : sig ... end

Logic with undefined values.

Sourcemodule X_comb : Comb with type t = X.t Base.list

Uses F, T, X as the bit type.