Module Hardcaml.Hierarchy

module With_interface : functor (I : Interface.S) -> functor (O : Interface.S) -> sig ... end
module In_scope : functor (I : Interface.S) -> functor (O : Interface.S) -> sig ... end

Support for hierarchically structured Hardcaml designs. We extend the standard Interface.Create_fn pattern so that the creation function also takes a Scope.t argument. This allows scoping of signal naming and automatic recording of the design in a Circuit_database.t. Top level options allow construction of a flat or modular design as required for simulation or syntheis.