{
    "license_header": [
        "SPDX-License-Identifier: LGPL-3.0-or-later",
        "See Notices.txt for copyright information"
    ],
    "types": {
        "Module": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Module::new_unchecked",
                "name_id()": "Visible",
                "source_location()": "Visible",
                "body()": "Visible",
                "module_io()": "Visible",
                "module_annotations()": "Visible"
            },
            "generics": "<T: BundleType>"
        },
        "ModuleBody": {
            "data": {
                "$kind": "Enum",
                "Normal": "Visible",
                "Extern": "Visible"
            }
        },
        "ModuleIO": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ModuleIO::new_unchecked",
                "containing_module_name_id()": "Visible",
                "name_id()": "Visible",
                "source_location()": "Visible",
                "is_input()": "Visible",
                "ty()": "Visible"
            },
            "generics": "<T: Type>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "CanonicalType": {
            "data": {
                "$kind": "Enum",
                "UInt": "Visible",
                "SInt": "Visible",
                "Bool": "Visible",
                "Array": "Visible",
                "Enum": "Visible",
                "Bundle": "Visible",
                "AsyncReset": "Visible",
                "SyncReset": "Visible",
                "Reset": "Visible",
                "Clock": "Visible"
            }
        },
        "Bundle": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Bundle::new",
                "fields()": "Visible"
            }
        },
        "BundleField": {
            "data": {
                "$kind": "Struct",
                "name": "Visible",
                "flipped": "Visible",
                "ty": "Visible"
            }
        },
        "Enum": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Enum::new",
                "variants()": "Visible"
            }
        },
        "EnumVariant": {
            "data": {
                "$kind": "Struct",
                "name": "Visible",
                "ty": "Visible"
            }
        },
        "ArrayType": {
            "data": {
                "$kind": "ManualImpl"
            },
            "generics": "<Element: Type, Len: Size>",
            "fold_where": "Element: Fold<State>",
            "visit_where": "Element: Visit<State>"
        },
        "UIntType": {
            "data": {
                "$kind": "Opaque"
            },
            "generics": "<Width: Size>"
        },
        "SIntType": {
            "data": {
                "$kind": "Opaque"
            },
            "generics": "<Width: Size>"
        },
        "UIntValue": {
            "data": {
                "$kind": "Opaque"
            },
            "generics": "<Width: Size>"
        },
        "SIntValue": {
            "data": {
                "$kind": "Opaque"
            },
            "generics": "<Width: Size>"
        },
        "Bool": {
            "data": {
                "$kind": "Struct"
            }
        },
        "Clock": {
            "data": {
                "$kind": "Struct"
            }
        },
        "AsyncReset": {
            "data": {
                "$kind": "Struct"
            }
        },
        "SyncReset": {
            "data": {
                "$kind": "Struct"
            }
        },
        "Reset": {
            "data": {
                "$kind": "Struct"
            }
        },
        "SourceLocation": {
            "data": {
                "$kind": "Opaque"
            }
        },
        "NameId": {
            "data": {
                "$kind": "Opaque"
            }
        },
        "ScopedNameId": {
            "data": {
                "$kind": "Struct",
                "0": "Visible",
                "1": "Visible"
            }
        },
        "ExternModuleBody": {
            "data": {
                "$kind": "Struct",
                "verilog_name": "Visible",
                "parameters": "Visible"
            }
        },
        "ExternModuleParameter": {
            "data": {
                "$kind": "Struct",
                "name": "Visible",
                "value": "Visible"
            }
        },
        "ExternModuleParameterValue": {
            "data": {
                "$kind": "Enum",
                "Integer": "Visible",
                "String": "Visible",
                "RawVerilog": "Visible"
            }
        },
        "NormalModuleBody": {
            "data": {
                "$kind": "Struct",
                "body": "Visible"
            }
        },
        "Block": {
            "data": {
                "$kind": "Struct",
                "memories": "Visible",
                "stmts": "Visible"
            }
        },
        "Mem": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Mem::new_unchecked",
                "scoped_name()": "Visible",
                "source_location()": "Visible",
                "array_type()": "Visible",
                "initial_value()": "Opaque",
                "ports()": "Visible",
                "read_latency()": "Visible",
                "write_latency()": "Visible",
                "read_under_write()": "Visible",
                "port_annotations()": "Visible",
                "mem_annotations()": "Visible"
            },
            "generics": "<Element: Type, Len: Size>",
            "fold_where": "Element: Fold<State>",
            "visit_where": "Element: Visit<State>"
        },
        "MemPort": {
            "data": {
                "$kind": "Struct",
                "$constructor": "MemPort::new_unchecked",
                "mem_name()": "Visible",
                "source_location()": "Visible",
                "port_name()": "Visible",
                "addr_type()": "Visible",
                "mem_element_type()": "Visible"
            },
            "generics": "<T: PortType>",
            "fold_where": "T::Port: Fold<State>",
            "visit_where": "T::Port: Visit<State>"
        },
        "PortName": {
            "data": {
                "$kind": "Struct",
                "kind": "Visible",
                "index": "Visible"
            }
        },
        "PortKind": {
            "data": {
                "$kind": "Enum",
                "ReadOnly": null,
                "WriteOnly": null,
                "ReadWrite": null
            }
        },
        "Expr": {
            "data": {
                "$kind": "ManualImpl"
            },
            "generics": "<T: Type>"
        },
        "ExprEnum": {
            "data": {
                "$kind": "ManualImpl"
            }
        },
        "ops::BundleLiteral": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BundleLiteral::new",
                "ty()": "Visible",
                "field_values()": "Visible"
            },
            "generics": "<T: BundleType>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "ops::ArrayLiteral": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ArrayLiteral::new",
                "element_type()": "Visible",
                "element_values()": "Visible"
            },
            "generics": "<Element: Type, Len: Size>",
            "fold_where": "Element: Fold<State>",
            "visit_where": "Element: Visit<State>"
        },
        "ops::EnumLiteral": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::EnumLiteral::new_by_index",
                "ty()": "Visible",
                "variant_index()": "Visible",
                "variant_value()": "Visible"
            },
            "generics": "<T: EnumType>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "ops::Uninit": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::Uninit::new",
                "ty()": "Visible"
            },
            "generics": "<T: Type>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "ops::NotU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::NotU::new",
                "arg()": "Visible"
            },
            "generics": "<Width: Size>"
        },
        "ops::NotS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::NotS::new",
                "arg()": "Visible"
            },
            "generics": "<Width: Size>"
        },
        "ops::NotB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::NotB::new",
                "arg()": "Visible"
            }
        },
        "ops::Neg": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::Neg::new",
                "arg()": "Visible"
            }
        },
        "ops::BitAndU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitAndU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitAndS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitAndS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitAndB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitAndB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitOrU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitOrU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitOrS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitOrS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitOrB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitOrB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitXorU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitXorU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitXorS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitXorS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::BitXorB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::BitXorB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::AddU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::AddU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::AddS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::AddS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::SubU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::SubU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::SubS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::SubS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::MulU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::MulU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::MulS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::MulS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::DivU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DivU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            },
            "generics": "<LhsWidth: Size>"
        },
        "ops::DivS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DivS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::RemU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::RemU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::RemS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::RemS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::DynShlU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DynShlU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::DynShlS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DynShlS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::DynShrU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DynShrU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::DynShrS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DynShrS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::FixedShlU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::FixedShlU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::FixedShlS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::FixedShlS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::FixedShrU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::FixedShrU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::FixedShrS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::FixedShrS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpLtB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpLtB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpLeB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpLeB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpGtB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpGtB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpGeB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpGeB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpEqB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpEqB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpNeB": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpNeB::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpLtU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpLtU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpLeU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpLeU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpGtU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpGtU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpGeU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpGeU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpEqU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpEqU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpNeU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpNeU::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpLtS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpLtS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpLeS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpLeS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpGtS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpGtS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpGeS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpGeS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpEqS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpEqS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CmpNeS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CmpNeS::new",
                "lhs()": "Visible",
                "rhs()": "Visible"
            }
        },
        "ops::CastUIntToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastUIntToUInt::new",
                "arg()": "Visible",
                "ty()": "Visible"
            }
        },
        "ops::CastUIntToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastUIntToSInt::new",
                "arg()": "Visible",
                "ty()": "Visible"
            }
        },
        "ops::CastSIntToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSIntToUInt::new",
                "arg()": "Visible",
                "ty()": "Visible"
            }
        },
        "ops::CastSIntToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSIntToSInt::new",
                "arg()": "Visible",
                "ty()": "Visible"
            }
        },
        "ops::CastBoolToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastBoolToUInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastBoolToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastBoolToSInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastUIntToBool": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastUIntToBool::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSIntToBool": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSIntToBool::new",
                "arg()": "Visible"
            }
        },
        "ops::CastBoolToSyncReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastBoolToSyncReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastUIntToSyncReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastUIntToSyncReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSIntToSyncReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSIntToSyncReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastBoolToAsyncReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastBoolToAsyncReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastUIntToAsyncReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastUIntToAsyncReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSIntToAsyncReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSIntToAsyncReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSyncResetToBool": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSyncResetToBool::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSyncResetToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSyncResetToUInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSyncResetToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSyncResetToSInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSyncResetToReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSyncResetToReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastAsyncResetToBool": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastAsyncResetToBool::new",
                "arg()": "Visible"
            }
        },
        "ops::CastAsyncResetToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastAsyncResetToUInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastAsyncResetToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastAsyncResetToSInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastAsyncResetToReset": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastAsyncResetToReset::new",
                "arg()": "Visible"
            }
        },
        "ops::CastResetToBool": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastResetToBool::new",
                "arg()": "Visible"
            }
        },
        "ops::CastResetToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastResetToUInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastResetToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastResetToSInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastBoolToClock": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastBoolToClock::new",
                "arg()": "Visible"
            }
        },
        "ops::CastUIntToClock": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastUIntToClock::new",
                "arg()": "Visible"
            }
        },
        "ops::CastSIntToClock": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastSIntToClock::new",
                "arg()": "Visible"
            }
        },
        "ops::CastClockToBool": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastClockToBool::new",
                "arg()": "Visible"
            }
        },
        "ops::CastClockToUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastClockToUInt::new",
                "arg()": "Visible"
            }
        },
        "ops::CastClockToSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastClockToSInt::new",
                "arg()": "Visible"
            }
        },
        "ops::FieldAccess": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::FieldAccess::new_by_index",
                "base()": "Visible",
                "field_index()": "Visible"
            },
            "generics": "<FieldType: Type>"
        },
        "ops::VariantAccess": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::VariantAccess::new_by_index",
                "base()": "Visible",
                "variant_index()": "Visible"
            },
            "generics": "<VariantType: Type>"
        },
        "ops::ArrayIndex": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ArrayIndex::new",
                "base()": "Visible",
                "element_index()": "Visible"
            },
            "generics": "<ElementType: Type>"
        },
        "ops::DynArrayIndex": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::DynArrayIndex::new",
                "base()": "Visible",
                "element_index()": "Visible"
            },
            "generics": "<ElementType: Type>"
        },
        "ops::SliceUInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::SliceUInt::new",
                "base()": "Visible",
                "range()": "Opaque"
            }
        },
        "ops::SliceSInt": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::SliceSInt::new",
                "base()": "Visible",
                "range()": "Opaque"
            }
        },
        "ops::ReduceBitAndU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ReduceBitAndU::new",
                "arg()": "Visible"
            }
        },
        "ops::ReduceBitAndS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ReduceBitAndS::new",
                "arg()": "Visible"
            }
        },
        "ops::ReduceBitOrU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ReduceBitOrU::new",
                "arg()": "Visible"
            }
        },
        "ops::ReduceBitOrS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ReduceBitOrS::new",
                "arg()": "Visible"
            }
        },
        "ops::ReduceBitXorU": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ReduceBitXorU::new",
                "arg()": "Visible"
            }
        },
        "ops::ReduceBitXorS": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::ReduceBitXorS::new",
                "arg()": "Visible"
            }
        },
        "ops::CastToBits": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastToBits::new",
                "arg()": "Visible"
            }
        },
        "ops::CastBitsTo": {
            "data": {
                "$kind": "Struct",
                "$constructor": "ops::CastBitsTo::new",
                "arg()": "Visible",
                "ty()": "Visible"
            },
            "generics": "<T: Type>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "BlockId": {
            "data": {
                "$kind": "Opaque"
            }
        },
        "ReadUnderWrite": {
            "data": {
                "$kind": "Opaque"
            }
        },
        "Instance": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Instance::new_unchecked",
                "scoped_name()": "Visible",
                "instantiated()": "Visible",
                "source_location()": "Visible"
            },
            "generics": "<T: BundleType>"
        },
        "Reg": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Reg::new_unchecked",
                "scoped_name()": "Visible",
                "source_location()": "Visible",
                "ty()": "Visible",
                "clock_domain()": "Visible",
                "init()": "Visible"
            },
            "generics": "<T: Type>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "Wire": {
            "data": {
                "$kind": "Struct",
                "$constructor": "Wire::new_unchecked",
                "scoped_name()": "Visible",
                "source_location()": "Visible",
                "ty()": "Visible"
            },
            "generics": "<T: Type>",
            "fold_where": "T: Fold<State>",
            "visit_where": "T: Visit<State>"
        },
        "Stmt": {
            "data": {
                "$kind": "Enum",
                "Connect": "Visible",
                "Formal": "Visible",
                "If": "Visible",
                "Match": "Visible",
                "Declaration": "Visible"
            }
        },
        "StmtDeclaration": {
            "data": {
                "$kind": "Enum",
                "Wire": "Visible",
                "Reg": "Visible",
                "Instance": "Visible"
            }
        },
        "StmtConnect": {
            "data": {
                "$kind": "Struct",
                "lhs": "Visible",
                "rhs": "Visible",
                "source_location": "Visible"
            }
        },
        "FormalKind": {
            "data": {
                "$kind": "Enum",
                "Assert": null,
                "Assume": null,
                "Cover": null
            }
        },
        "StmtFormal": {
            "data": {
                "$kind": "Struct",
                "kind": "Visible",
                "clk": "Visible",
                "pred": "Visible",
                "en": "Visible",
                "text": "Visible",
                "source_location": "Visible"
            }
        },
        "StmtIf": {
            "data": {
                "$kind": "Struct",
                "cond": "Visible",
                "source_location": "Visible",
                "blocks": "Visible"
            }
        },
        "StmtInstance": {
            "data": {
                "$kind": "Struct",
                "annotations": "Visible",
                "instance": "Visible"
            }
        },
        "StmtMatch": {
            "data": {
                "$kind": "Struct",
                "expr": "Visible",
                "source_location": "Visible",
                "blocks": "Visible"
            }
        },
        "StmtReg": {
            "data": {
                "$kind": "Struct",
                "annotations": "Visible",
                "reg": "Visible"
            }
        },
        "StmtWire": {
            "data": {
                "$kind": "Struct",
                "annotations": "Visible",
                "wire": "Visible"
            }
        },
        "AnnotatedModuleIO": {
            "data": {
                "$kind": "Struct",
                "annotations": "Visible",
                "module_io": "Visible"
            }
        },
        "TargetedAnnotation": {
            "data": {
                "$kind": "Struct",
                "$constructor": "TargetedAnnotation::new",
                "target()": "Visible",
                "annotation()": "RefVisible"
            }
        },
        "Annotation": {
            "data": {
                "$kind": "Enum",
                "DontTouch": "Visible",
                "SVAttribute": "Visible",
                "BlackBoxInline": "Visible",
                "BlackBoxPath": "Visible",
                "DocString": "Visible",
                "CustomFirrtl": "Visible"
            }
        },
        "DontTouchAnnotation": {
            "data": {
                "$kind": "Struct"
            }
        },
        "SVAttributeAnnotation": {
            "data": {
                "$kind": "Struct",
                "text": "Visible"
            }
        },
        "BlackBoxInlineAnnotation": {
            "data": {
                "$kind": "Struct",
                "path": "Visible",
                "text": "Visible"
            }
        },
        "BlackBoxPathAnnotation": {
            "data": {
                "$kind": "Struct",
                "path": "Visible"
            }
        },
        "DocStringAnnotation": {
            "data": {
                "$kind": "Struct",
                "text": "Visible"
            }
        },
        "CustomFirrtlAnnotation": {
            "data": {
                "$kind": "Opaque"
            }
        },
        "Target": {
            "data": {
                "$kind": "Enum",
                "Base": "Visible",
                "Child": "Visible"
            }
        },
        "TargetBase": {
            "data": {
                "$kind": "Enum",
                "ModuleIO": "Visible",
                "MemPort": "Visible",
                "Reg": "Visible",
                "Wire": "Visible",
                "Instance": "Visible"
            }
        },
        "TargetChild": {
            "data": {
                "$kind": "Struct",
                "$constructor": "TargetChild::new",
                "parent()": "Visible",
                "path_element()": "Visible"
            }
        },
        "TargetPathBundleField": {
            "data": {
                "$kind": "Struct",
                "name": "Visible"
            }
        },
        "TargetPathArrayElement": {
            "data": {
                "$kind": "Struct",
                "index": "Visible"
            }
        },
        "TargetPathDynArrayElement": {
            "data": {
                "$kind": "Struct"
            }
        },
        "TargetPathElement": {
            "data": {
                "$kind": "Enum",
                "BundleField": "Visible",
                "ArrayElement": "Visible",
                "DynArrayElement": "Visible"
            }
        }
    }
}