Module Hierarchy.With_interface

Parameters

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

Signature

val create : (?⁠port_checks:Hardcaml.Circuit.Port_checks.t -> ?⁠add_phantom_inputs:Hardcaml__.Import.bool -> ?⁠instance:Hardcaml__.Import.string -> Hardcaml.Circuit_database.t -> name:Hardcaml__.Import.string -> Hardcaml.Circuit.With_interface(I)(O).create -> Hardcaml.Circuit.With_interface(I)(O).create) Hardcaml.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.