Module Hierarchy.With_interface

Parameters

• I : Interface.S
• O : Interface.S

Signature

val create : (?⁠port_checks:Circuit.Port_checks.t -> ?⁠add_phantom_inputs:Hardcaml__.Import.bool -> ?⁠instance:Hardcaml__.Import.string -> Circuit_database.t -> name:Hardcaml__.Import.string -> Circuit.With_interface(I)(O).create -> Circuit.With_interface(I)(O).create) Circuit.with_create_options

create database ~name create_fn inputs creates a sub-circuit using create_fn inputs and adds it to database. It is then referenced in current circuit by an instantiation.