Module type Hardcaml__Comb_intf.Comb

module type Gates = Gates
module type Primitives = Primitives
module type S = S
type nonrec 'a optional_branching_factor = 'a 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