Circuit.Port_checks
Check if the ports specified in the interface match those defined in the circuit.
type t
=
|
Relaxed
No checks
Port_sets
Input and output port sets agree
Port_sets_and_widths
Input and output port sets agree, and their widths are the same.