package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Check if the ports specified in the interface match those defined in the circuit.

type t =
  1. | Relaxed
    (*

    No checks

    *)
  2. | Port_sets
    (*

    Input and output port sets agree

    *)
  3. | Port_sets_and_widths
    (*

    Input and output port sets agree, and their widths are the same.

    *)