Module type Comb_intf.Comb
module type Primitives = Primitives
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