Module `Hardcaml.Comb`

Combinational logic API.

This includes standard arithmetic, logical, equality and comparision operators, as well as more hardware specific functions such as bit selection, concatention, multiplexing etc.

In operators, a trailing colon : indicates that the operator treats the bits as unsigned or that sign doesn't matter, while a trailing plus + indicates that the operator treats the bits as signed twos-complement.

module type Gates = Hardcaml__.Comb_intf.Gates

module type Primitives = Hardcaml__.Comb_intf.Primitives

module type S = Hardcaml__.Comb_intf.S

type nonrec 'a optional_branching_factor = 'a Hardcaml__.Comb_intf.optional_branching_factor

module Make_primitives : functor (Gates : Gates) -> Primitives with type t = Gates.t

module Make : functor (Primitives : Primitives) -> S with type t = Primitives.t: Generates the full combinational API