xlsynth_sys/

lib.rs

// SPDX-License-Identifier: Apache-2.0

//! Declarations for the C API for the XLS dynamic shared object.

extern crate libc;

#[repr(C)]
pub struct CIrValue {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrBits {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CBitsRope {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrPackage {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrFunction {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrFunctionBase {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrFunctionJit {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CTraceMessage {
    pub message: *mut std::os::raw::c_char,
    pub verbosity: i64,
}

#[repr(C)]
pub struct CIrType {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrFunctionType {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

// "VAST" is the "Verilog AST" API which
#[repr(C)]
pub struct CVastFile {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastModule {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastDataType {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastExpression {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastLiteral {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastConcat {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastComment {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastBlankLine {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastInlineVerilogStatement {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastLogicRef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastInstantiation {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastContinuousAssignment {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastSlice {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastIndex {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastIndexableExpression {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastAlwaysBase {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastStatementBlock {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastStatement {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastConditional {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastCaseStatement {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastParameterRef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastLocalparamRef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastGenerateLoop {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

// -- DSLX

#[repr(C)]
pub struct CDslxImportData {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypecheckedModule {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxModule {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeInfo {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxStructDef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxEnumDef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeAlias {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxType {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeDim {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxExpr {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxInterpValue {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxParametricEnv {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxEnumMember {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxStructMember {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeAnnotation {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeRefTypeAnnotation {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeRef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxImport {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxColonRef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxTypeDefinition {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxConstantDef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxModuleMember {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxFunction {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxParam {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxCallGraph {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxQuickcheck {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CDslxInvocationCalleeDataArray {
    _private: [u8; 0],
}

#[repr(C)]
pub struct CDslxInvocationCalleeData {
    _private: [u8; 0],
}

#[repr(C)]
pub struct CDslxInvocationData {
    _private: [u8; 0],
}

#[repr(C)]
pub struct CDslxInvocation {
    _private: [u8; 0],
}

#[repr(C)]
pub struct CScheduleAndCodegenResult {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrBuilderBase {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrBValue {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CIrFunctionBuilder {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

pub type XlsFormatPreference = i32;
pub type XlsValueKind = i32;

// Calling convention used for DSLX mangling APIs.
pub type XlsCallingConvention = i32;

pub type CVastFileType = i32;

pub type VastOperatorKind = i32;

// Data kind for VAST Defs.
pub type VastDataKind = i32;
pub const XLS_VAST_DATA_KIND_REG: VastDataKind = 0;
pub const XLS_VAST_DATA_KIND_WIRE: VastDataKind = 1;
pub const XLS_VAST_DATA_KIND_LOGIC: VastDataKind = 2;
pub const XLS_VAST_DATA_KIND_INTEGER: VastDataKind = 3;
pub const XLS_VAST_DATA_KIND_INT: VastDataKind = 4;
pub const XLS_VAST_DATA_KIND_USER: VastDataKind = 5;
pub const XLS_VAST_DATA_KIND_UNTYPED_ENUM: VastDataKind = 6;
pub const XLS_VAST_DATA_KIND_GENVAR: VastDataKind = 7;

pub type DslxTypeDefinitionKind = i32;

pub type DslxModuleMemberKind = i32;

pub const XLS_CALLING_CONVENTION_TYPICAL: XlsCallingConvention = 0;
pub const XLS_CALLING_CONVENTION_IMPLICIT_TOKEN: XlsCallingConvention = 1;
pub const XLS_CALLING_CONVENTION_PROC_NEXT: XlsCallingConvention = 2;

#[repr(C)]
pub struct XlsDslxParametricEnvItem {
    pub identifier: *const std::os::raw::c_char,
    pub value: *const CDslxInterpValue,
}

#[repr(C)]
pub struct CDslxInvocationRewriteRule {
    pub from_callee: *mut CDslxFunction,
    pub to_callee: *mut CDslxFunction,
    pub match_callee_env: *const CDslxParametricEnv,
    pub to_callee_env: *const CDslxParametricEnv,
}

extern "C" {
    pub fn xls_convert_dslx_to_ir(
        dslx: *const std::os::raw::c_char,
        path: *const std::os::raw::c_char,
        module_name: *const std::os::raw::c_char,
        dslx_stdlib_path: *const std::os::raw::c_char,
        additional_search_paths: *const *const std::os::raw::c_char,
        additional_search_paths_count: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        ir_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_convert_dslx_to_ir_with_warnings(
        dslx: *const std::os::raw::c_char,
        path: *const std::os::raw::c_char,
        module_name: *const std::os::raw::c_char,
        dslx_stdlib_path: *const std::os::raw::c_char,
        additional_search_paths: *const *const std::os::raw::c_char,
        additional_search_paths_count: libc::size_t,
        enable_warnings: *const *const std::os::raw::c_char,
        enable_warnings_count: libc::size_t,
        disable_warnings: *const *const std::os::raw::c_char,
        disable_warnings_count: libc::size_t,
        warnings_as_errors: bool,
        force_implicit_token_calling_convention: bool,
        warnings_out: *mut *mut *mut std::os::raw::c_char,
        warnings_out_count: *mut libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        ir_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_convert_dslx_path_to_ir(
        path: *const std::os::raw::c_char,
        dslx_stdlib_path: *const std::os::raw::c_char,
        additional_search_paths: *const *const std::os::raw::c_char,
        additional_search_paths_count: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        ir_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_convert_dslx_path_to_ir_with_warnings(
        path: *const std::os::raw::c_char,
        dslx_stdlib_path: *const std::os::raw::c_char,
        additional_search_paths: *const *const std::os::raw::c_char,
        additional_search_paths_count: libc::size_t,
        enable_warnings: *const *const std::os::raw::c_char,
        enable_warnings_count: libc::size_t,
        disable_warnings: *const *const std::os::raw::c_char,
        disable_warnings_count: libc::size_t,
        warnings_as_errors: bool,
        force_implicit_token_calling_convention: bool,
        warnings_out: *mut *mut *mut std::os::raw::c_char,
        warnings_out_count: *mut libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        ir_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_parse_typed_value(
        text: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        value_out: *mut *mut CIrValue,
    ) -> bool;
    pub fn xls_value_free(value: *mut CIrValue);

    pub fn xls_value_clone(value: *const CIrValue) -> *mut CIrValue;

    // Extracts a bits value from a (boxed) value or gives an error.
    pub fn xls_value_get_bits(
        value: *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        bits_out: *mut *mut CIrBits,
    ) -> bool;

    // Turns a span of IR values into a tuple value.
    pub fn xls_value_make_tuple(
        value_count: libc::size_t,
        values: *const *const CIrValue,
    ) -> *mut CIrValue;

    // Create a token value
    pub fn xls_value_make_token() -> *mut CIrValue;

    /// Returns an error:
    /// * if the elements do not all have the same type, or
    /// * if the array is empty (because then we cannot determine the element
    ///   type)
    pub fn xls_value_make_array(
        element_count: libc::size_t,
        elements: *const *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrValue,
    ) -> bool;

    // Extracts an element from a tuple/array value or gives an error (e.g. if this
    // value is not a tuple/array or the index is out of bounds).
    pub fn xls_value_get_element(
        tuple: *const CIrValue,
        index: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        element_out: *mut *mut CIrValue,
    ) -> bool;

    pub fn xls_value_get_element_count(
        value: *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        count_out: *mut i64,
    ) -> bool;

    // Creates a bits value (via an unsigned integer) that is boxed in an IrValue.
    pub fn xls_value_make_ubits(
        bit_count: i64,
        value: u64,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrValue,
    ) -> bool;

    // Creates a bits value (via a signed integer) that is boxed in an IrValue.
    pub fn xls_value_make_sbits(
        bit_count: i64,
        value: i64,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrValue,
    ) -> bool;

    // Boxes an IR bits object into an IR value.
    pub fn xls_value_from_bits(bits: *const CIrBits) -> *mut CIrValue;

    pub fn xls_bits_make_ubits(
        bit_count: i64,
        value: u64,
        error_out: *mut *mut std::os::raw::c_char,
        bits_out: *mut *mut CIrBits,
    ) -> bool;

    pub fn xls_bits_make_sbits(
        bit_count: i64,
        value: i64,
        error_out: *mut *mut std::os::raw::c_char,
        bits_out: *mut *mut CIrBits,
    ) -> bool;

    pub fn xls_bits_free(bits: *mut CIrBits);
    pub fn xls_bits_get_bit_count(bits: *const CIrBits) -> i64;
    pub fn xls_bits_get_bit(bits: *const CIrBits, index: i64) -> bool;
    pub fn xls_bits_eq(bits: *const CIrBits, other: *const CIrBits) -> bool;
    pub fn xls_bits_ne(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_ult(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_ule(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_ugt(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_uge(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_slt(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_sle(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_sgt(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_sge(a: *const CIrBits, b: *const CIrBits) -> bool;
    pub fn xls_bits_to_debug_string(bits: *const CIrBits) -> *mut std::os::raw::c_char;
    pub fn xls_bits_make_bits_from_bytes(
        bit_count: libc::size_t,
        bytes: *const u8,
        byte_count: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        bits_out: *mut *mut CIrBits,
    ) -> bool;
    pub fn xls_mangle_dslx_name_full(
        module_name: *const std::os::raw::c_char,
        function_name: *const std::os::raw::c_char,
        convention: XlsCallingConvention,
        free_keys: *const *const std::os::raw::c_char,
        free_keys_count: libc::size_t,
        param_env: *const CDslxParametricEnv,
        scope: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        mangled_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_bits_add(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_sub(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_umul(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_smul(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_negate(bits: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_abs(bits: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_not(bits: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_and(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_or(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;
    pub fn xls_bits_xor(lhs: *const CIrBits, rhs: *const CIrBits) -> *mut CIrBits;

    pub fn xls_bits_shift_left_logical(bits: *const CIrBits, shift_amount: i64) -> *mut CIrBits;
    pub fn xls_bits_shift_right_logical(bits: *const CIrBits, shift_amount: i64) -> *mut CIrBits;
    pub fn xls_bits_shift_right_arithmetic(bits: *const CIrBits, shift_amount: i64)
        -> *mut CIrBits;

    // struct xls_bits* xls_bits_width_slice(const struct xls_bits* bits, int64_t
    // start, int64_t width);

    pub fn xls_bits_width_slice(bits: *const CIrBits, start: i64, width: i64) -> *mut CIrBits;

    pub fn xls_bits_to_bytes(
        bits: *const CIrBits,
        error_out: *mut *mut std::os::raw::c_char,
        bytes_out: *mut *mut u8,
        byte_count_out: *mut libc::size_t,
    ) -> bool;
    pub fn xls_bytes_free(bytes: *mut u8);
    pub fn xls_bits_to_uint64(
        bits: *const CIrBits,
        error_out: *mut *mut std::os::raw::c_char,
        value_out: *mut u64,
    ) -> bool;
    pub fn xls_bits_to_int64(
        bits: *const CIrBits,
        error_out: *mut *mut std::os::raw::c_char,
        value_out: *mut i64,
    ) -> bool;

    pub fn xls_create_bits_rope(bit_count: i64) -> *mut CBitsRope;
    pub fn xls_bits_rope_append_bits(bits_rope: *mut CBitsRope, bits: *const CIrBits);
    pub fn xls_bits_rope_get_bits(bits_rope: *mut CBitsRope) -> *mut CIrBits;
    pub fn xls_bits_rope_free(bits_rope: *mut CBitsRope);

    pub fn xls_package_free(package: *mut CIrPackage);
    pub fn xls_c_str_free(c_str: *mut std::os::raw::c_char);
    pub fn xls_c_strs_free(c_strs: *mut *mut std::os::raw::c_char, count: libc::size_t);
    pub fn xls_value_to_string(
        value: *const CIrValue,
        str_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_format_preference_from_string(
        s: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut XlsFormatPreference,
    ) -> bool;

    pub fn xls_value_to_string_format_preference(
        value: *const CIrValue,
        fmt: XlsFormatPreference,
        error_out: *mut *mut std::os::raw::c_char,
        str_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_bits_to_string(
        bits: *const CIrBits,
        fmt: XlsFormatPreference,
        include_bit_count: bool,
        error_out: *mut *mut std::os::raw::c_char,
        str_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_value_get_kind(
        value: *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        kind_out: *mut XlsValueKind,
    ) -> bool;
    pub fn xls_value_make_true() -> *mut CIrValue;
    pub fn xls_value_make_false() -> *mut CIrValue;
    pub fn xls_value_from_bits_owned(bits: *mut CIrBits) -> *mut CIrValue;
    pub fn xls_value_flatten_to_bits(value: *const CIrValue) -> *mut CIrBits;

    pub fn xls_value_eq(value: *const CIrValue, value: *const CIrValue) -> bool;
    pub fn xls_parse_ir_package(
        ir: *const std::os::raw::c_char,
        filename: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        xls_package_out: *mut *mut CIrPackage,
    ) -> bool;
    pub fn xls_type_to_string(
        t: *const CIrType,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_type_get_kind(
        t: *mut CIrType,
        error_out: *mut *mut std::os::raw::c_char,
        kind_out: *mut XlsValueKind,
    ) -> bool;
    pub fn xls_type_get_flat_bit_count(t: *const CIrType) -> i64;
    pub fn xls_type_get_leaf_count(t: *mut CIrType) -> i64;
    pub fn xls_package_get_type_for_value(
        package: *const CIrPackage,
        value: *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrType,
    ) -> bool;
    pub fn xls_package_get_function(
        package: *const CIrPackage,
        function_name: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrFunction,
    ) -> bool;
    pub fn xls_package_get_functions(
        package: *mut CIrPackage,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut *mut CIrFunction,
        count_out: *mut libc::size_t,
    ) -> bool;
    pub fn xls_function_ptr_array_free(function_pointer_array: *mut *mut CIrFunction);
    pub fn xls_function_get_type(
        function: *const CIrFunction,
        error_out: *mut *mut std::os::raw::c_char,
        xls_fn_type_out: *mut *mut CIrFunctionType,
    ) -> bool;
    pub fn xls_function_type_to_string(
        t: *const CIrFunctionType,
        error_out: *mut *mut std::os::raw::c_char,
        string_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_function_get_name(
        function: *const CIrFunction,
        error_out: *mut *mut std::os::raw::c_char,
        name_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_function_to_z3_smtlib(
        function: *mut CIrFunction,
        error_out: *mut *mut std::os::raw::c_char,
        string_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_interpret_function(
        function: *const CIrFunction,
        argc: libc::size_t,
        args: *const *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrValue,
    ) -> bool;
    pub fn xls_optimize_ir(
        ir: *const std::os::raw::c_char,
        top: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        ir_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_mangle_dslx_name(
        module_name: *const std::os::raw::c_char,
        function_name: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        mangled_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_init_xls(
        usage: *const std::os::raw::c_char,
        argc: libc::c_int,
        argv: *mut *mut std::os::raw::c_char,
    );
    pub fn xls_package_to_string(
        p: *const CIrPackage,
        string_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_package_get_top(p: *mut CIrPackage) -> *mut CIrFunctionBase;
    pub fn xls_package_set_top_by_name(
        p: *mut CIrPackage,
        name: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_verify_package(
        p: *mut CIrPackage,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_make_function_jit(
        function: *const CIrFunction,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrFunctionJit,
    ) -> bool;
    pub fn xls_function_jit_free(jit: *mut CIrFunctionJit);
    pub fn xls_function_jit_run(
        jit: *const CIrFunctionJit,
        argc: libc::size_t,
        args: *const *const CIrValue,
        error_out: *mut *mut std::os::raw::c_char,
        trace_messages_out: *mut *mut CTraceMessage,
        trace_messages_count_out: *mut libc::size_t,
        assert_messages_out: *mut *mut *mut std::os::raw::c_char,
        assert_messages_count_out: *mut libc::size_t,
        result_out: *mut *mut CIrValue,
    ) -> bool;
    pub fn xls_trace_messages_free(trace_messages: *mut CTraceMessage, count: libc::size_t);

    // -- VAST APIs

    pub fn xls_vast_make_verilog_file(file_type: CVastFileType) -> *mut CVastFile;
    pub fn xls_vast_verilog_file_free(f: *mut CVastFile);
    pub fn xls_vast_verilog_file_add_module(
        f: *mut CVastFile,
        name: *const std::os::raw::c_char,
    ) -> *mut CVastModule;

    // - Node creation
    pub fn xls_vast_verilog_file_make_scalar_type(f: *mut CVastFile) -> *mut CVastDataType;
    pub fn xls_vast_verilog_file_make_bit_vector_type(
        f: *mut CVastFile,
        bit_count: i64,
        is_signed: bool,
    ) -> *mut CVastDataType;
    pub fn xls_vast_verilog_file_make_bit_vector_type_expr(
        f: *mut CVastFile,
        width_expr: *mut CVastExpression,
        is_signed: bool,
    ) -> *mut CVastDataType;
    pub fn xls_vast_verilog_file_make_integer_type(
        f: *mut CVastFile,
        is_signed: bool,
    ) -> *mut CVastDataType;
    pub fn xls_vast_verilog_file_make_int_type(
        f: *mut CVastFile,
        is_signed: bool,
    ) -> *mut CVastDataType;
    pub fn xls_vast_verilog_file_make_integer_def(
        f: *mut CVastFile,
        name: *const std::os::raw::c_char,
        is_signed: bool,
    ) -> *mut CVastDef;
    pub fn xls_vast_verilog_file_make_int_def(
        f: *mut CVastFile,
        name: *const std::os::raw::c_char,
        is_signed: bool,
    ) -> *mut CVastDef;
    pub fn xls_vast_verilog_file_make_extern_package_type(
        f: *mut CVastFile,
        package_name: *const std::os::raw::c_char,
        type_name: *const std::os::raw::c_char,
    ) -> *mut CVastDataType;
    pub fn xls_vast_verilog_file_make_packed_array_type(
        f: *mut CVastFile,
        element_type: *mut CVastDataType,
        dims: *const i64,
        dim_count: libc::size_t,
    ) -> *mut CVastDataType;

    // -- Data type introspection
    pub fn xls_vast_data_type_width_as_int64(
        type_: *mut CVastDataType,
        out_width: *mut i64,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_vast_data_type_flat_bit_count_as_int64(
        type_: *mut CVastDataType,
        out_flat_bit_count: *mut i64,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    // Returns width expression; may return nullptr if none.
    pub fn xls_vast_data_type_width(type_: *mut CVastDataType) -> *mut CVastExpression;

    pub fn xls_vast_data_type_is_signed(type_: *mut CVastDataType) -> bool;

    pub fn xls_vast_verilog_file_make_continuous_assignment(
        f: *mut CVastFile,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastContinuousAssignment;

    pub fn xls_vast_verilog_file_make_concat(
        f: *mut CVastFile,
        expressions: *mut *mut CVastExpression,
        expression_count: libc::size_t,
    ) -> *mut CVastExpression;

    pub fn xls_vast_verilog_file_make_replicated_concat(
        f: *mut CVastFile,
        replication: *mut CVastExpression,
        elements: *mut *mut CVastExpression,
        element_count: libc::size_t,
    ) -> *mut CVastConcat;

    pub fn xls_vast_verilog_file_make_replicated_concat_i64(
        f: *mut CVastFile,
        replication_count: i64,
        elements: *mut *mut CVastExpression,
        element_count: libc::size_t,
    ) -> *mut CVastConcat;

    pub fn xls_vast_verilog_file_make_slice_i64(
        f: *mut CVastFile,
        subject: *mut CVastIndexableExpression,
        hi: i64,
        lo: i64,
    ) -> *mut CVastSlice;
    pub fn xls_vast_verilog_file_make_slice(
        f: *mut CVastFile,
        subject: *mut CVastIndexableExpression,
        hi: *mut CVastExpression,
        lo: *mut CVastExpression,
    ) -> *mut CVastSlice;

    pub fn xls_vast_verilog_file_make_index(
        f: *mut CVastFile,
        subject: *mut CVastIndexableExpression,
        index: *mut CVastExpression,
    ) -> *mut CVastIndex;
    pub fn xls_vast_verilog_file_make_index_i64(
        f: *mut CVastFile,
        subject: *mut CVastIndexableExpression,
        index: i64,
    ) -> *mut CVastIndex;

    pub fn xls_vast_verilog_file_make_unary(
        f: *mut CVastFile,
        arg: *mut CVastExpression,
        op: VastOperatorKind,
    ) -> *mut CVastExpression;

    pub fn xls_vast_verilog_file_make_binary(
        f: *mut CVastFile,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
        op: VastOperatorKind,
    ) -> *mut CVastExpression;

    pub fn xls_vast_verilog_file_make_ternary(
        f: *mut CVastFile,
        cond: *mut CVastExpression,
        then_expr: *mut CVastExpression,
        else_expr: *mut CVastExpression,
    ) -> *mut CVastExpression;

    pub fn xls_vast_verilog_file_make_width_cast(
        f: *mut CVastFile,
        width: *mut CVastExpression,
        value: *mut CVastExpression,
    ) -> *mut CVastExpression;

    // Cast a value to a specific type.
    pub fn xls_vast_verilog_file_make_type_cast(
        f: *mut CVastFile,
        type_: *mut CVastDataType,
        value: *mut CVastExpression,
    ) -> *mut CVastExpression;

    pub fn xls_vast_verilog_file_make_instantiation(
        f: *mut CVastFile,
        module_name: *const std::os::raw::c_char,
        instance_name: *const std::os::raw::c_char,
        parameter_port_names: *const *const std::os::raw::c_char,
        parameter_expressions: *const *const CVastExpression,
        parameter_count: libc::size_t,
        connection_port_names: *const *const std::os::raw::c_char,
        connection_expressions: *const *const CVastExpression,
        connection_count: libc::size_t,
    ) -> *mut CVastInstantiation;
    pub fn xls_vast_verilog_file_make_comment(
        f: *mut CVastFile,
        text: *const std::os::raw::c_char,
    ) -> *mut CVastComment;
    pub fn xls_vast_verilog_file_make_blank_line(f: *mut CVastFile) -> *mut CVastBlankLine;
    pub fn xls_vast_verilog_file_make_inline_verilog_statement(
        f: *mut CVastFile,
        text: *const std::os::raw::c_char,
    ) -> *mut CVastInlineVerilogStatement;
    pub fn xls_vast_verilog_file_make_literal(
        f: *mut CVastFile,
        bits: *const CIrBits,
        format_preference: XlsFormatPreference,
        emit_bit_count: bool,
        error_out: *mut *mut std::os::raw::c_char,
        literal_out: *mut *mut CVastLiteral,
    ) -> bool;
    pub fn xls_vast_verilog_file_make_plain_literal(
        f: *mut CVastFile,
        value: i32,
    ) -> *mut CVastLiteral;

    // - Module additions
    pub fn xls_vast_verilog_module_add_parameter_port(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        rhs: *mut CVastExpression,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_typed_parameter_port(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
        rhs: *mut CVastExpression,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_input(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_output(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_inout(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_logic_input(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_logic_output(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_wire(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
    ) -> *mut CVastLogicRef;
    pub fn xls_vast_verilog_module_add_generate_loop(
        m: *mut CVastModule,
        genvar_name: *const std::os::raw::c_char,
        init: *mut CVastExpression,
        limit: *mut CVastExpression,
        label: *const std::os::raw::c_char,
    ) -> *mut CVastGenerateLoop;
    pub fn xls_vast_verilog_module_add_member_instantiation(
        m: *mut CVastModule,
        inst: *mut CVastInstantiation,
    );
    pub fn xls_vast_verilog_module_add_member_continuous_assignment(
        m: *mut CVastModule,
        ca: *mut CVastContinuousAssignment,
    );
    pub fn xls_vast_verilog_module_add_member_comment(
        m: *mut CVastModule,
        comment: *mut CVastComment,
    );
    pub fn xls_vast_verilog_module_add_member_blank_line(
        m: *mut CVastModule,
        blank: *mut CVastBlankLine,
    );
    pub fn xls_vast_verilog_module_add_member_inline_statement(
        m: *mut CVastModule,
        stmt: *mut CVastInlineVerilogStatement,
    );

    pub fn xls_vast_verilog_module_add_parameter(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        rhs: *mut CVastExpression,
    ) -> *mut CVastParameterRef;

    pub fn xls_vast_verilog_module_add_localparam(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        rhs: *mut CVastExpression,
    ) -> *mut CVastLocalparamRef;

    pub fn xls_vast_verilog_file_make_def(
        f: *mut CVastFile,
        name: *const std::os::raw::c_char,
        kind: VastDataKind,
        type_: *mut CVastDataType,
    ) -> *mut CVastDef;

    pub fn xls_vast_verilog_module_add_parameter_with_def(
        m: *mut CVastModule,
        def: *mut CVastDef,
        rhs: *mut CVastExpression,
    ) -> *mut CVastParameterRef;

    pub fn xls_vast_verilog_module_add_localparam_with_def(
        m: *mut CVastModule,
        def: *mut CVastDef,
        rhs: *mut CVastExpression,
    ) -> *mut CVastLocalparamRef;

    pub fn xls_vast_verilog_module_get_name(m: *mut CVastModule) -> *mut std::os::raw::c_char;

    // - Expression conversions
    pub fn xls_vast_logic_ref_as_indexable_expression(
        v: *mut CVastLogicRef,
    ) -> *mut CVastIndexableExpression;
    pub fn xls_vast_index_as_indexable_expression(
        v: *mut CVastIndex,
    ) -> *mut CVastIndexableExpression;

    pub fn xls_vast_literal_as_expression(v: *mut CVastLiteral) -> *mut CVastExpression;
    pub fn xls_vast_concat_as_expression(v: *mut CVastConcat) -> *mut CVastExpression;
    pub fn xls_vast_logic_ref_as_expression(v: *mut CVastLogicRef) -> *mut CVastExpression;
    pub fn xls_vast_slice_as_expression(v: *mut CVastSlice) -> *mut CVastExpression;
    pub fn xls_vast_index_as_expression(v: *mut CVastIndex) -> *mut CVastExpression;
    pub fn xls_vast_parameter_ref_as_expression(v: *mut CVastParameterRef) -> *mut CVastExpression;
    pub fn xls_vast_localparam_ref_as_expression(
        v: *mut CVastLocalparamRef,
    ) -> *mut CVastExpression;
    pub fn xls_vast_indexable_expression_as_expression(
        v: *mut CVastIndexableExpression,
    ) -> *mut CVastExpression;
    pub fn xls_vast_verilog_file_make_unsized_one_literal(
        f: *mut CVastFile,
    ) -> *mut CVastExpression;
    pub fn xls_vast_verilog_file_make_unsized_zero_literal(
        f: *mut CVastFile,
    ) -> *mut CVastExpression;
    pub fn xls_vast_verilog_file_make_unsized_x_literal(f: *mut CVastFile) -> *mut CVastExpression;

    pub fn xls_vast_logic_ref_get_name(v: *mut CVastLogicRef) -> *mut std::os::raw::c_char;

    pub fn xls_vast_verilog_file_add_include(f: *mut CVastFile, path: *const std::os::raw::c_char);
    pub fn xls_vast_verilog_file_emit(f: *const CVastFile) -> *mut std::os::raw::c_char;

    // -- DSLX

    pub fn xls_dslx_import_data_create(
        dslx_stdlib_path: *const std::os::raw::c_char,
        additional_search_paths: *const *const std::os::raw::c_char,
        additional_search_paths_count: libc::size_t,
    ) -> *mut CDslxImportData;
    pub fn xls_dslx_import_data_free(data: *mut CDslxImportData);

    pub fn xls_dslx_parse_and_typecheck(
        text: *const std::os::raw::c_char,
        path: *const std::os::raw::c_char,
        module_name: *const std::os::raw::c_char,
        import_data: *const CDslxImportData,
        error_out: *mut *mut std::os::raw::c_char,
        typechecked_module_out: *mut *mut CDslxTypecheckedModule,
    ) -> bool;

    pub fn xls_dslx_typechecked_module_clone_removing_functions(
        tm: *mut CDslxTypecheckedModule,
        functions: *mut *mut CDslxFunction,
        function_count: libc::size_t,
        install_subject: *const std::os::raw::c_char,
        import_data: *mut CDslxImportData,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxTypecheckedModule,
    ) -> bool;

    pub fn xls_dslx_replace_invocations_in_module(
        tm: *mut CDslxTypecheckedModule,
        callers: *const *mut CDslxFunction,
        callers_count: libc::size_t,
        rules: *const CDslxInvocationRewriteRule,
        rules_count: libc::size_t,
        import_data: *mut CDslxImportData,
        install_subject: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxTypecheckedModule,
    ) -> bool;

    // bool xls_schedule_and_codegen_package(
    // struct xls_package* p, const char* scheduling_options_flags_proto,
    // const char* codegen_flags_proto, bool with_delay_model, char** error_out,
    // struct xls_schedule_and_codegen_result** result_out);
    pub fn xls_schedule_and_codegen_package(
        p: *mut CIrPackage,
        scheduling_options_flags_proto: *const std::os::raw::c_char,
        codegen_flags_proto: *const std::os::raw::c_char,
        with_delay_model: bool,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CScheduleAndCodegenResult,
    ) -> bool;

    pub fn xls_schedule_and_codegen_result_get_verilog_text(
        result: *mut CScheduleAndCodegenResult,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_schedule_and_codegen_result_free(result: *mut CScheduleAndCodegenResult);

    pub fn xls_dslx_typechecked_module_free(module: *mut CDslxTypecheckedModule);

    pub fn xls_dslx_typechecked_module_get_module(
        module: *mut CDslxTypecheckedModule,
    ) -> *mut CDslxModule;

    pub fn xls_dslx_typechecked_module_get_type_info(
        module: *mut CDslxTypecheckedModule,
    ) -> *mut CDslxTypeInfo;

    pub fn xls_dslx_module_to_string(module: *mut CDslxModule) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_module_get_name(module: *const CDslxModule) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_module_get_type_definition_count(module: *const CDslxModule) -> i64;

    pub fn xls_dslx_module_get_member_count(module: *const CDslxModule) -> i64;

    pub fn xls_dslx_module_get_member(module: *const CDslxModule, i: i64)
        -> *mut CDslxModuleMember;

    pub fn xls_dslx_module_get_type_definition_kind(
        module: *const CDslxModule,
        i: i64,
    ) -> DslxTypeDefinitionKind;

    pub fn xls_dslx_module_get_type_definition_as_struct_def(
        module: *const CDslxModule,
        i: i64,
    ) -> *mut CDslxStructDef;
    pub fn xls_dslx_module_get_type_definition_as_enum_def(
        module: *const CDslxModule,
        i: i64,
    ) -> *mut CDslxEnumDef;
    pub fn xls_dslx_module_get_type_definition_as_type_alias(
        module: *const CDslxModule,
        i: i64,
    ) -> *mut CDslxTypeAlias;

    // -- xls_dslx_module_member
    pub fn xls_dslx_module_member_get_kind(
        member: *const CDslxModuleMember,
    ) -> DslxModuleMemberKind;
    pub fn xls_dslx_module_member_get_constant_def(
        member: *const CDslxModuleMember,
    ) -> *mut CDslxConstantDef;
    pub fn xls_dslx_module_member_get_type_alias(
        member: *const CDslxModuleMember,
    ) -> *mut CDslxTypeAlias;
    pub fn xls_dslx_module_member_get_struct_def(
        member: *const CDslxModuleMember,
    ) -> *mut CDslxStructDef;
    pub fn xls_dslx_module_member_get_enum_def(
        member: *const CDslxModuleMember,
    ) -> *mut CDslxEnumDef;

    pub fn xls_dslx_colon_ref_get_attr(
        colon_ref: *const CDslxColonRef,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_type_info_get_type_struct_def(
        type_info: *mut CDslxTypeInfo,
        node: *mut CDslxStructDef,
    ) -> *mut CDslxType;
    pub fn xls_dslx_type_info_get_type_enum_def(
        type_info: *mut CDslxTypeInfo,
        node: *mut CDslxEnumDef,
    ) -> *mut CDslxType;
    pub fn xls_dslx_type_info_get_type_struct_member(
        type_info: *mut CDslxTypeInfo,
        member: *mut CDslxStructMember,
    ) -> *mut CDslxType;
    pub fn xls_dslx_type_info_get_type_type_alias(
        type_info: *mut CDslxTypeInfo,
        node: *mut CDslxTypeAlias,
    ) -> *mut CDslxType;
    pub fn xls_dslx_type_info_get_type_constant_def(
        type_info: *mut CDslxTypeInfo,
        node: *mut CDslxConstantDef,
    ) -> *mut CDslxType;

    /// Gets the concrete type for a TypeAnnotation AST node.
    pub fn xls_dslx_type_info_get_type_type_annotation(
        type_info: *mut CDslxTypeInfo,
        type_annotation: *mut CDslxTypeAnnotation,
    ) -> *mut CDslxType;

    pub fn xls_dslx_type_info_get_imported_type_info(
        type_info: *mut CDslxTypeInfo,
        module: *mut CDslxModule,
    ) -> *mut CDslxTypeInfo;

    pub fn xls_dslx_type_info_get_unique_invocation_callee_data(
        type_info: *mut CDslxTypeInfo,
        function: *mut CDslxFunction,
    ) -> *mut CDslxInvocationCalleeDataArray;
    pub fn xls_dslx_type_info_get_all_invocation_callee_data(
        type_info: *mut CDslxTypeInfo,
        function: *mut CDslxFunction,
    ) -> *mut CDslxInvocationCalleeDataArray;
    pub fn xls_dslx_type_info_get_root_invocation_data(
        type_info: *mut CDslxTypeInfo,
        invocation: *mut CDslxInvocation,
    ) -> *mut CDslxInvocationData;

    // -- call_graph
    pub fn xls_dslx_type_info_build_function_call_graph(
        type_info: *mut CDslxTypeInfo,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxCallGraph,
    ) -> bool;

    pub fn xls_dslx_call_graph_free(call_graph: *mut CDslxCallGraph);

    pub fn xls_dslx_call_graph_get_function_count(call_graph: *mut CDslxCallGraph) -> i64;

    pub fn xls_dslx_call_graph_get_function(
        call_graph: *mut CDslxCallGraph,
        index: i64,
    ) -> *mut CDslxFunction;

    pub fn xls_dslx_call_graph_get_callee_count(
        call_graph: *mut CDslxCallGraph,
        caller: *mut CDslxFunction,
    ) -> i64;

    pub fn xls_dslx_call_graph_get_callee_function(
        call_graph: *mut CDslxCallGraph,
        caller: *mut CDslxFunction,
        callee_index: i64,
    ) -> *mut CDslxFunction;

    pub fn xls_dslx_invocation_callee_data_array_free(array: *mut CDslxInvocationCalleeDataArray);
    pub fn xls_dslx_invocation_callee_data_array_get_count(
        array: *mut CDslxInvocationCalleeDataArray,
    ) -> i64;
    pub fn xls_dslx_invocation_callee_data_array_get(
        array: *mut CDslxInvocationCalleeDataArray,
        index: i64,
    ) -> *mut CDslxInvocationCalleeData;

    pub fn xls_dslx_invocation_callee_data_clone(
        data: *mut CDslxInvocationCalleeData,
    ) -> *mut CDslxInvocationCalleeData;
    pub fn xls_dslx_invocation_callee_data_free(data: *mut CDslxInvocationCalleeData);
    pub fn xls_dslx_invocation_callee_data_get_callee_bindings(
        data: *mut CDslxInvocationCalleeData,
    ) -> *const CDslxParametricEnv;
    pub fn xls_dslx_invocation_callee_data_get_caller_bindings(
        data: *mut CDslxInvocationCalleeData,
    ) -> *const CDslxParametricEnv;
    pub fn xls_dslx_invocation_callee_data_get_derived_type_info(
        data: *mut CDslxInvocationCalleeData,
    ) -> *mut CDslxTypeInfo;
    pub fn xls_dslx_invocation_callee_data_get_invocation(
        data: *mut CDslxInvocationCalleeData,
    ) -> *mut CDslxInvocation;

    pub fn xls_dslx_invocation_data_get_invocation(
        data: *mut CDslxInvocationData,
    ) -> *mut CDslxInvocation;
    pub fn xls_dslx_invocation_data_get_callee(
        data: *mut CDslxInvocationData,
    ) -> *mut CDslxFunction;
    pub fn xls_dslx_invocation_data_get_caller(
        data: *mut CDslxInvocationData,
    ) -> *mut CDslxFunction;

    // -- ConstantDef

    pub fn xls_dslx_constant_def_get_name(
        constant_def: *const CDslxConstantDef,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_constant_def_get_value(constant_def: *const CDslxConstantDef)
        -> *mut CDslxExpr;

    // -- TypeAlias

    pub fn xls_dslx_type_alias_get_identifier(
        type_alias: *const CDslxTypeAlias,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_type_alias_get_type_annotation(
        type_alias: *const CDslxTypeAlias,
    ) -> *mut CDslxTypeAnnotation;

    // -- TypeAnnotation

    pub fn xls_dslx_type_annotation_get_type_ref_type_annotation(
        type_annotation: *const CDslxTypeAnnotation,
    ) -> *mut CDslxTypeRefTypeAnnotation;

    // -- TypeRef

    pub fn xls_dslx_type_ref_get_type_definition(
        type_ref: *const CDslxTypeRef,
    ) -> *mut CDslxTypeDefinition;

    // -- Import

    pub fn xls_dslx_import_get_subject_count(import: *const CDslxImport) -> i64;
    pub fn xls_dslx_import_get_subject(
        import: *const CDslxImport,
        i: i64,
    ) -> *mut std::os::raw::c_char;

    // -- ColonRef

    pub fn xls_dslx_colon_ref_resolve_import_subject(
        colon_ref: *const CDslxColonRef,
    ) -> *mut CDslxImport;

    // -- TypeDefinition

    pub fn xls_dslx_type_definition_get_colon_ref(
        type_definition: *const CDslxTypeDefinition,
    ) -> *mut CDslxColonRef;
    pub fn xls_dslx_type_definition_get_type_alias(
        type_definition: *const CDslxTypeDefinition,
    ) -> *mut CDslxTypeAlias;

    // -- TypeRefTypeAnnotation

    pub fn xls_dslx_type_ref_type_annotation_get_type_ref(
        type_ref_type_annotation: *const CDslxTypeRefTypeAnnotation,
    ) -> *mut CDslxTypeRef;

    // -- StructDef

    pub fn xls_dslx_struct_def_get_identifier(
        struct_def: *const CDslxStructDef,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_struct_def_is_parametric(struct_def: *const CDslxStructDef) -> bool;

    pub fn xls_dslx_struct_def_get_member_count(struct_def: *const CDslxStructDef) -> i64;

    pub fn xls_dslx_struct_def_get_member(
        struct_def: *const CDslxStructDef,
        i: i64,
    ) -> *mut CDslxStructMember;

    pub fn xls_dslx_struct_member_get_name(
        member: *const CDslxStructMember,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_struct_member_get_type(
        member: *const CDslxStructMember,
    ) -> *mut CDslxTypeAnnotation;

    // -- EnumDef

    pub fn xls_dslx_enum_def_get_identifier(
        enum_def: *const CDslxEnumDef,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_enum_def_get_member_count(enum_def: *const CDslxEnumDef) -> i64;

    pub fn xls_dslx_enum_def_get_member(
        enum_def: *const CDslxEnumDef,
        i: i64,
    ) -> *mut CDslxEnumMember;

    pub fn xls_dslx_enum_def_get_underlying(
        enum_def: *const CDslxEnumDef,
    ) -> *mut CDslxTypeAnnotation;

    pub fn xls_dslx_enum_member_get_name(
        member: *const CDslxEnumMember,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_enum_member_get_value(member: *const CDslxEnumMember) -> *mut CDslxExpr;

    pub fn xls_dslx_expr_get_owner_module(expr: *mut CDslxExpr) -> *mut CDslxModule;

    // --

    pub fn xls_dslx_interp_value_free(value: *mut CDslxInterpValue);

    pub fn xls_dslx_interp_value_to_string(
        value: *mut CDslxInterpValue,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_interp_value_clone(value: *const CDslxInterpValue) -> *mut CDslxInterpValue;

    // Parametric env construction and InterpValue helpers
    pub fn xls_dslx_parametric_env_create(
        items: *const XlsDslxParametricEnvItem,
        items_count: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        env_out: *mut *mut CDslxParametricEnv,
    ) -> bool;
    pub fn xls_dslx_parametric_env_free(env: *mut CDslxParametricEnv);

    pub fn xls_dslx_parametric_env_clone(env: *const CDslxParametricEnv)
        -> *mut CDslxParametricEnv;
    pub fn xls_dslx_parametric_env_equals(
        lhs: *const CDslxParametricEnv,
        rhs: *const CDslxParametricEnv,
    ) -> bool;
    pub fn xls_dslx_parametric_env_less_than(
        lhs: *const CDslxParametricEnv,
        rhs: *const CDslxParametricEnv,
    ) -> bool;
    pub fn xls_dslx_parametric_env_hash(env: *const CDslxParametricEnv) -> u64;
    pub fn xls_dslx_parametric_env_to_string(
        env: *const CDslxParametricEnv,
    ) -> *mut std::os::raw::c_char;
    pub fn xls_dslx_parametric_env_get_binding_count(env: *const CDslxParametricEnv) -> i64;
    pub fn xls_dslx_parametric_env_get_binding_identifier(
        env: *const CDslxParametricEnv,
        index: i64,
    ) -> *const std::os::raw::c_char;
    pub fn xls_dslx_parametric_env_get_binding_value(
        env: *const CDslxParametricEnv,
        index: i64,
    ) -> *mut CDslxInterpValue;

    pub fn xls_dslx_interp_value_make_ubits(bit_count: i64, value: u64) -> *mut CDslxInterpValue;
    pub fn xls_dslx_interp_value_make_sbits(bit_count: i64, value: i64) -> *mut CDslxInterpValue;
    pub fn xls_dslx_interp_value_make_enum(
        def: *mut CDslxEnumDef,
        is_signed: bool,
        bits: *const CIrBits,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxInterpValue,
    ) -> bool;
    pub fn xls_dslx_interp_value_make_tuple(
        element_count: libc::size_t,
        elements: *mut *mut CDslxInterpValue,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxInterpValue,
    ) -> bool;
    pub fn xls_dslx_interp_value_make_array(
        element_count: libc::size_t,
        elements: *mut *mut CDslxInterpValue,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxInterpValue,
    ) -> bool;

    pub fn xls_dslx_interp_value_from_string(
        text: *const std::os::raw::c_char,
        dslx_stdlib_path: *const std::os::raw::c_char,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxInterpValue,
    ) -> bool;

    pub fn xls_dslx_interp_value_convert_to_ir(
        value: *mut CDslxInterpValue,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CIrValue,
    ) -> bool;

    pub fn xls_dslx_type_to_string(
        type_: *const CDslxType,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    // Stringification for DSLX AST nodes
    pub fn xls_dslx_function_to_string(function: *const CDslxFunction)
        -> *mut std::os::raw::c_char;
    pub fn xls_dslx_struct_def_to_string(
        struct_def: *const CDslxStructDef,
    ) -> *mut std::os::raw::c_char;
    pub fn xls_dslx_enum_def_to_string(enum_def: *const CDslxEnumDef) -> *mut std::os::raw::c_char;
    pub fn xls_dslx_type_alias_to_string(
        type_alias: *const CDslxTypeAlias,
    ) -> *mut std::os::raw::c_char;
    pub fn xls_dslx_constant_def_to_string(
        constant_def: *const CDslxConstantDef,
    ) -> *mut std::os::raw::c_char;
    pub fn xls_dslx_quickcheck_to_string(qc: *const CDslxQuickcheck) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_type_info_get_const_expr(
        type_info: *mut CDslxTypeInfo,
        expr: *mut CDslxExpr,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut *mut CDslxInterpValue,
    ) -> bool;

    pub fn xls_dslx_type_get_total_bit_count(
        type_: *const CDslxType,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut i64,
    ) -> bool;

    pub fn xls_dslx_type_is_signed_bits(
        type_: *const CDslxType,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut bool,
    ) -> bool;

    pub fn xls_dslx_type_is_bits_like(
        type_: *const CDslxType,
        is_signed: *mut *mut CDslxTypeDim,
        size: *mut *mut CDslxTypeDim,
    ) -> bool;

    pub fn xls_dslx_type_is_enum(type_: *const CDslxType) -> bool;
    pub fn xls_dslx_type_is_struct(type_: *const CDslxType) -> bool;
    pub fn xls_dslx_type_is_array(type_: *const CDslxType) -> bool;

    pub fn xls_dslx_type_dim_is_parametric(dim: *const CDslxTypeDim) -> bool;
    pub fn xls_dslx_type_dim_get_as_bool(
        dim: *const CDslxTypeDim,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut bool,
    ) -> bool;
    pub fn xls_dslx_type_dim_get_as_int64(
        dim: *const CDslxTypeDim,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut i64,
    ) -> bool;
    pub fn xls_dslx_type_dim_free(dim: *mut CDslxTypeDim);

    pub fn xls_dslx_type_get_enum_def(ty: *const CDslxType) -> *mut CDslxEnumDef;

    pub fn xls_dslx_type_get_struct_def(ty: *const CDslxType) -> *mut CDslxStructDef;

    pub fn xls_dslx_type_array_get_element_type(ty: *const CDslxType) -> *mut CDslxType;
    pub fn xls_dslx_type_array_get_size(ty: *const CDslxType) -> *mut CDslxTypeDim;

    // -- IR builder APIs

    pub fn xls_package_create(name: *const std::os::raw::c_char) -> *mut CIrPackage;
    pub fn xls_package_get_bits_type(package: *mut CIrPackage, bit_count: i64) -> *mut CIrType;

    pub fn xls_package_get_tuple_type(
        package: *mut CIrPackage,
        members: *mut *mut CIrType,
        member_count: i64,
    ) -> *mut CIrType;

    pub fn xls_package_get_array_type(
        package: *mut CIrPackage,
        element_type: *mut CIrType,
        size: i64,
    ) -> *mut CIrType;

    pub fn xls_package_get_token_type(package: *mut CIrPackage) -> *mut CIrType;

    pub fn xls_function_builder_create(
        name: *const std::os::raw::c_char,
        package: *mut CIrPackage,
        should_verify: bool,
    ) -> *mut CIrFunctionBuilder;
    pub fn xls_function_builder_as_builder_base(
        builder: *mut CIrFunctionBuilder,
    ) -> *mut CIrBuilderBase;
    pub fn xls_function_builder_free(builder: *mut CIrFunctionBuilder);
    pub fn xls_bvalue_free(bvalue: *mut CIrBValue);
    pub fn xls_function_builder_add_parameter(
        builder: *mut CIrFunctionBuilder,
        name: *const std::os::raw::c_char,
        type_: *mut CIrType,
    ) -> *mut CIrBValue;
    pub fn xls_function_builder_build(
        builder: *mut CIrFunctionBuilder,
        error_out: *mut *mut std::os::raw::c_char,
        function_out: *mut *mut CIrFunction,
    ) -> bool;
    pub fn xls_function_builder_build_with_return_value(
        builder: *mut CIrFunctionBuilder,
        return_value: *mut CIrBValue,
        error_out: *mut *mut std::os::raw::c_char,
        function_out: *mut *mut CIrFunction,
    ) -> bool;
    pub fn xls_builder_base_add_and(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_nand(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_or(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_xor(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_not(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_negate(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_reverse(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_or_reduce(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_and_reduce(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_xor_reduce(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_literal(
        builder: *mut CIrBuilderBase,
        value: *mut CIrValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_tuple(
        builder: *mut CIrBuilderBase,
        operands: *mut *mut CIrBValue,
        operand_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_tuple_index(
        builder: *mut CIrBuilderBase,
        tuple: *mut CIrBValue,
        index: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_array(
        builder: *mut CIrBuilderBase,
        element_type: *mut CIrType,
        elements: *const *mut CIrBValue,
        element_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_array_index(
        builder: *mut CIrBuilderBase,
        array: *mut CIrBValue,
        indices: *const *mut CIrBValue,
        index_count: i64,
        assumed_in_bounds: bool,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_dynamic_bit_slice(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        start: *mut CIrBValue,
        width: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_bit_slice(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        start: i64,
        width: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_bit_slice_update(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        start: *mut CIrBValue,
        update: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_concat(
        builder: *mut CIrBuilderBase,
        values: *const *mut CIrBValue,
        value_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_after_all(
        builder: *mut CIrBuilderBase,
        dependencies: *mut *mut CIrBValue,
        dependency_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_add(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_sub(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_umul(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_smul(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_umulp(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_smulp(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_udiv(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_sdiv(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_umod(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_smod(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_eq(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_ne(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    // -- comparisons
    pub fn xls_builder_base_add_ule(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_ult(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_uge(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_ugt(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_sle(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_slt(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_sgt(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_sge(
        builder: *mut CIrBuilderBase,
        lhs: *mut CIrBValue,
        rhs: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_add_shra(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        b: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_shrl(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        b: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_shll(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        b: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_nor(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        b: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_clz(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_ctz(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_encode(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_add_decode(
        builder: *mut CIrBuilderBase,
        a: *mut CIrBValue,
        width: *mut i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_select(
        builder: *mut CIrBuilderBase,
        selector: *mut CIrBValue,
        cases: *const *mut CIrBValue,
        case_count: i64,
        default_value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_array_concat(
        builder: *mut CIrBuilderBase,
        arrays: *const *mut CIrBValue,
        array_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_array_slice(
        builder: *mut CIrBuilderBase,
        array: *mut CIrBValue,
        start: *mut CIrBValue,
        width: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_array_update(
        builder: *mut CIrBuilderBase,
        array: *mut CIrBValue,
        update_value: *mut CIrBValue,
        indices: *const *mut CIrBValue,
        index_count: i64,
        assumed_in_bounds: bool,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_identity(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_add_sign_extend(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        new_bit_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;
    pub fn xls_builder_base_add_zero_extend(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
        new_bit_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_add_one_hot(
        builder: *mut CIrBuilderBase,
        input: *mut CIrBValue,
        lsb_is_priority: bool,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_add_one_hot_select(
        builder: *mut CIrBuilderBase,
        selector: *mut CIrBValue,
        cases: *const *mut CIrBValue,
        case_count: i64,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_add_priority_select(
        builder: *mut CIrBuilderBase,
        selector: *mut CIrBValue,
        cases: *const *mut CIrBValue,
        case_count: i64,
        default_value: *mut CIrBValue,
        name: *const std::os::raw::c_char,
    ) -> *mut CIrBValue;

    pub fn xls_builder_base_get_last_value(
        builder: *mut CIrBuilderBase,
        error_out: *mut *mut std::os::raw::c_char,
        value_out: *mut *mut CIrBValue,
    ) -> bool;

    pub fn xls_builder_base_get_type(
        builder: *mut CIrBuilderBase,
        value: *mut CIrBValue,
    ) -> *mut CIrType;

    // New functions for sequential logic
    pub fn xls_vast_verilog_module_add_always_ff(
        m: *mut CVastModule,
        sensitivity_list_elements: *mut *mut CVastExpression,
        sensitivity_list_count: usize,
        out_always_ff: *mut *mut CVastAlwaysBase,
        error_out: *mut *mut ::std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_verilog_module_add_always_at(
        m: *mut CVastModule,
        sensitivity_list_elements: *mut *mut CVastExpression,
        sensitivity_list_count: usize,
        out_always_at: *mut *mut CVastAlwaysBase,
        error_out: *mut *mut ::std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_verilog_module_add_always_comb(
        m: *mut CVastModule,
        out_always_comb: *mut *mut CVastAlwaysBase,
        error_out: *mut *mut ::std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_verilog_module_add_reg(
        m: *mut CVastModule,
        name: *const ::std::os::raw::c_char,
        type_: *mut CVastDataType,
        out_reg_ref: *mut *mut CVastLogicRef,
        error_out: *mut *mut ::std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_verilog_module_add_logic(
        m: *mut CVastModule,
        name: *const std::os::raw::c_char,
        type_: *mut CVastDataType,
        out_logic_ref: *mut *mut CVastLogicRef,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_verilog_file_make_pos_edge(
        f: *mut CVastFile,
        signal_expr: *mut CVastExpression,
    ) -> *mut CVastExpression;
    pub fn xls_vast_verilog_file_make_nonblocking_assignment(
        f: *mut CVastFile,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastStatement;
    pub fn xls_vast_verilog_file_make_blocking_assignment(
        f: *mut CVastFile,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastStatement;

    pub fn xls_vast_always_base_get_statement_block(
        always_base: *mut CVastAlwaysBase,
    ) -> *mut CVastStatementBlock;

    pub fn xls_vast_statement_block_add_nonblocking_assignment(
        block: *mut CVastStatementBlock,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastStatement;
    pub fn xls_vast_statement_block_add_blocking_assignment(
        block: *mut CVastStatementBlock,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastStatement;

    pub fn xls_vast_statement_block_add_comment_text(
        block: *mut CVastStatementBlock,
        text: *const std::os::raw::c_char,
    ) -> *mut CVastStatement;

    pub fn xls_vast_statement_block_add_blank_line(
        block: *mut CVastStatementBlock,
    ) -> *mut CVastStatement;

    pub fn xls_vast_statement_block_add_inline_text(
        block: *mut CVastStatementBlock,
        text: *const std::os::raw::c_char,
    ) -> *mut CVastStatement;
    pub fn xls_vast_statement_block_add_generate_loop(
        block: *mut CVastStatementBlock,
        genvar_name: *const std::os::raw::c_char,
        init: *mut CVastExpression,
        limit: *mut CVastExpression,
        label: *const std::os::raw::c_char,
    ) -> *mut CVastGenerateLoop;

    pub fn xls_vast_statement_block_add_continuous_assignment(
        block: *mut CVastStatementBlock,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastStatement;

    // Conditional (if / else-if / else)
    pub fn xls_vast_statement_block_add_conditional(
        block: *mut CVastStatementBlock,
        cond: *mut CVastExpression,
    ) -> *mut CVastConditional;
    pub fn xls_vast_conditional_get_then_block(
        cond: *mut CVastConditional,
    ) -> *mut CVastStatementBlock;
    pub fn xls_vast_conditional_add_else_if(
        cond: *mut CVastConditional,
        expr_cond: *mut CVastExpression,
    ) -> *mut CVastStatementBlock;
    pub fn xls_vast_conditional_add_else(cond: *mut CVastConditional) -> *mut CVastStatementBlock;

    // Case statement builders
    pub fn xls_vast_statement_block_add_case(
        block: *mut CVastStatementBlock,
        selector: *mut CVastExpression,
    ) -> *mut CVastCaseStatement;
    pub fn xls_vast_case_statement_add_item(
        case_stmt: *mut CVastCaseStatement,
        match_expr: *mut CVastExpression,
    ) -> *mut CVastStatementBlock;
    pub fn xls_vast_case_statement_add_default(
        case_stmt: *mut CVastCaseStatement,
    ) -> *mut CVastStatementBlock;

    pub fn xls_vast_generate_loop_get_genvar(loop_: *mut CVastGenerateLoop) -> *mut CVastLogicRef;

    pub fn xls_vast_generate_loop_add_statement(
        loop_: *mut CVastGenerateLoop,
        statement: *mut CVastStatement,
    );
    pub fn xls_vast_generate_loop_add_generate_loop(
        loop_: *mut CVastGenerateLoop,
        genvar_name: *const std::os::raw::c_char,
        init: *mut CVastExpression,
        limit: *mut CVastExpression,
        label: *const std::os::raw::c_char,
    ) -> *mut CVastGenerateLoop;
    pub fn xls_vast_generate_loop_add_always_comb(
        loop_: *mut CVastGenerateLoop,
        out_always_comb: *mut *mut CVastAlwaysBase,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_generate_loop_add_always_ff(
        loop_: *mut CVastGenerateLoop,
        sensitivity_list_elements: *mut *mut CVastExpression,
        sensitivity_list_count: usize,
        out_always_ff: *mut *mut CVastAlwaysBase,
        error_out: *mut *mut std::os::raw::c_char,
    ) -> bool;
    pub fn xls_vast_generate_loop_add_localparam(
        loop_: *mut CVastGenerateLoop,
        name: *const std::os::raw::c_char,
        rhs: *mut CVastExpression,
    ) -> *mut CVastLocalparamRef;
    pub fn xls_vast_generate_loop_add_localparam_with_def(
        loop_: *mut CVastGenerateLoop,
        def: *mut CVastDef,
        rhs: *mut CVastExpression,
    ) -> *mut CVastLocalparamRef;
    pub fn xls_vast_generate_loop_add_continuous_assignment(
        loop_: *mut CVastGenerateLoop,
        lhs: *mut CVastExpression,
        rhs: *mut CVastExpression,
    ) -> *mut CVastStatement;

    pub fn xls_function_type_get_param_count(fty: *mut CIrFunctionType) -> i64;

    pub fn xls_function_type_get_param_type(
        fty: *mut CIrFunctionType,
        index: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        param_type_out: *mut *mut CIrType,
    ) -> bool;

    pub fn xls_function_type_get_return_type(fty: *mut CIrFunctionType) -> *mut CIrType;

    pub fn xls_function_get_param_name(
        function: *mut CIrFunction,
        index: libc::size_t,
        error_out: *mut *mut std::os::raw::c_char,
        name_out: *mut *mut std::os::raw::c_char,
    ) -> bool;

    pub fn xls_dslx_module_member_get_function(
        member: *const CDslxModuleMember,
    ) -> *mut CDslxFunction;
    pub fn xls_dslx_function_is_parametric(function: *const CDslxFunction) -> bool;
    pub fn xls_dslx_function_get_identifier(
        function: *const CDslxFunction,
    ) -> *mut std::os::raw::c_char;

    pub fn xls_dslx_function_get_param_count(function: *const CDslxFunction) -> i64;
    pub fn xls_dslx_function_get_param(
        function: *const CDslxFunction,
        index: i64,
    ) -> *mut CDslxParam;
    pub fn xls_dslx_param_get_name(param: *const CDslxParam) -> *mut std::os::raw::c_char;
    pub fn xls_dslx_param_get_type_annotation(param: *const CDslxParam)
        -> *mut CDslxTypeAnnotation;

    // -- "requires implicit token?" determination for a DSLX function
    pub fn xls_dslx_type_info_get_requires_implicit_token(
        type_info: *mut CDslxTypeInfo,
        function: *mut CDslxFunction,
        error_out: *mut *mut std::os::raw::c_char,
        result_out: *mut bool,
    ) -> bool;

    // -- Quickcheck APIs
    pub fn xls_dslx_module_member_get_quickcheck(
        member: *const CDslxModuleMember,
    ) -> *mut CDslxQuickcheck;

    pub fn xls_dslx_quickcheck_get_function(qc: *const CDslxQuickcheck) -> *mut CDslxFunction;

    /// Returns true iff the Quickcheck has the `exhaustive` test-cases
    /// specifier.
    pub fn xls_dslx_quickcheck_is_exhaustive(qc: *const CDslxQuickcheck) -> bool;

    /// Retrieves the test-case count for the Quickcheck. Returns true and sets
    /// `*result_out` when the Quickcheck has a counted test-case specifier;
    /// returns false when the Quickcheck is marked exhaustive (in which case
    /// `*result_out` is not modified).
    pub fn xls_dslx_quickcheck_get_count(qc: *const CDslxQuickcheck, result_out: *mut i64) -> bool;
}

pub const DSLX_STDLIB_PATH: &str = env!("DSLX_STDLIB_PATH");

/// Directory containing the libxls DSO.
///
/// *** DO NOT USE THIS VARIABLE FROM WITHIN YOUR build.rs ***
///
/// You might be tempted to write the following in your build.rs:
///
/// ```ignore
/// // DO NOT DO THIS IN YOUR build.rs!!
/// let dylib_dirpath = xlsynth_sys::XLS_DSO_PATH;
/// // set rpath to dylib_dirpath or something.
/// ```
///
/// The problem is that build.rs is compiled for host, whereas if you're setting
/// an rpath (or something similar) you want to get the path from compiling
/// xlsynth_sys for *target*.  In other words, the above will break
/// cross-compilation.
///
/// Instead, your build.rs should get the path from an envvar which:
///
/// ```ignore
/// // Do this from your build.rs instead.
/// let dylib_path = std::env::var("DEP_XLSYNTH_DSO_PATH").unwrap();
/// ```
///
/// More details are available at
/// <https://doc.rust-lang.org/cargo/reference/build-script-examples.html#using-another-sys-crate>.
///
/// (If you use this envvar from your crate proper -- i.e. not from build.rs --
/// then it's perfectly fine.)
pub const XLS_DSO_PATH: &str = env!("XLS_DSO_PATH");

// Add opaque types for module port and def.
#[repr(C)]
pub struct CVastModulePort {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

#[repr(C)]
pub struct CVastDef {
    _private: [u8; 0], // Ensures the struct cannot be instantiated
}

// Direction enum for module ports.
pub type VastModulePortDirection = i32;

// Constants that match the C enum definitions.
pub const XLS_VAST_MODULE_PORT_DIRECTION_INPUT: VastModulePortDirection = 0;
pub const XLS_VAST_MODULE_PORT_DIRECTION_OUTPUT: VastModulePortDirection = 1;

extern "C" {
    // -- Module port inspection APIs
    pub fn xls_vast_verilog_module_get_ports(
        m: *mut CVastModule,
        out_count: *mut libc::size_t,
    ) -> *mut *mut CVastModulePort;

    pub fn xls_vast_verilog_module_free_ports(
        ports: *mut *mut CVastModulePort,
        count: libc::size_t,
    );

    pub fn xls_vast_verilog_module_port_get_direction(
        port: *mut CVastModulePort,
    ) -> VastModulePortDirection;

    pub fn xls_vast_verilog_module_port_get_def(port: *mut CVastModulePort) -> *mut CVastDef;

    pub fn xls_vast_def_get_name(def: *mut CVastDef) -> *mut std::os::raw::c_char;

    pub fn xls_vast_def_get_data_type(def: *mut CVastDef) -> *mut CVastDataType;
}