Module Hardcaml__.Comb_intf

type 'a optional_branching_factor = ?⁠branching_factor:Hardcaml__.Import.int -> 'a

Various functions that build a tree-structured circuit take an optional branching_factor argument that controls the number of branches at each level of the circuit. With N inputs and branching_factor = 1 the depth is N. With branching_factor = 2 the the depth is ceil_log2 N. Similarly for branching_factor = X, the depth is by ceil_log_{X} N.

module type TypedMath = sig ... end
module type Gates = sig ... end
module type Primitives = sig ... end

Type required to generate the full combinational API

module type S = sig ... end

Full combinational API

module type Comb = sig ... end