src/devices/tools/banjo/test/ast/protocol-vector.test.ast

BanjoAst {
    primary_namespace: "banjo.examples.protocol.vector",
    namespaces: {
        "banjo.examples.protocol.vector": [
            Protocol {
                attributes: Attrs(
                    [
                        Attr {
                            key: "Layout",
                            val: Some(
                                "ddk-protocol",
                            ),
                        },
                    ],
                ),
                name: Ident {
                    namespace: Some(
                        "banjo.examples.protocol.vector",
                    ),
                    name: "Vector",
                },
                methods: [
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Bool",
                        in_params: [
                            (
                                "b",
                                Vector {
                                    ty: Bool,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "b",
                                Vector {
                                    ty: Bool,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int8",
                        in_params: [
                            (
                                "i8",
                                Vector {
                                    ty: Int8,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i8",
                                Vector {
                                    ty: Int8,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int16",
                        in_params: [
                            (
                                "i16",
                                Vector {
                                    ty: Int16,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i16",
                                Vector {
                                    ty: Int16,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int32",
                        in_params: [
                            (
                                "i32",
                                Vector {
                                    ty: Int32,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i32",
                                Vector {
                                    ty: Int32,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int64",
                        in_params: [
                            (
                                "i64",
                                Vector {
                                    ty: Int64,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i64",
                                Vector {
                                    ty: Int64,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint8",
                        in_params: [
                            (
                                "u8",
                                Vector {
                                    ty: UInt8,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u8",
                                Vector {
                                    ty: UInt8,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint16",
                        in_params: [
                            (
                                "u16",
                                Vector {
                                    ty: UInt16,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u16",
                                Vector {
                                    ty: UInt16,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint32",
                        in_params: [
                            (
                                "u32",
                                Vector {
                                    ty: UInt32,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u32",
                                Vector {
                                    ty: UInt32,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint64",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: UInt64,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u64",
                                Vector {
                                    ty: UInt64,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Float32",
                        in_params: [
                            (
                                "f32",
                                Vector {
                                    ty: Float32,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f32",
                                Vector {
                                    ty: Float32,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Float64",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Float64,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f64",
                                Vector {
                                    ty: Float64,
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Handle",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Handle {
                                        ty: Handle,
                                        reference: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f64",
                                Vector {
                                    ty: Handle {
                                        ty: Handle,
                                        reference: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "1",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                ],
            },
            Constant {
                attributes: Attrs(
                    [],
                ),
                name: Ident {
                    namespace: Some(
                        "banjo.examples.protocol.vector",
                    ),
                    name: "vector_size",
                },
                ty: UInt32,
                value: Constant(
                    "32",
                ),
            },
            Protocol {
                attributes: Attrs(
                    [
                        Attr {
                            key: "Layout",
                            val: Some(
                                "ddk-protocol",
                            ),
                        },
                    ],
                ),
                name: Ident {
                    namespace: Some(
                        "banjo.examples.protocol.vector",
                    ),
                    name: "Vector2",
                },
                methods: [
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Bool",
                        in_params: [
                            (
                                "b",
                                Vector {
                                    ty: Bool,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "b",
                                Vector {
                                    ty: Bool,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int8",
                        in_params: [
                            (
                                "i8",
                                Vector {
                                    ty: Int8,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i8",
                                Vector {
                                    ty: Int8,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int16",
                        in_params: [
                            (
                                "i16",
                                Vector {
                                    ty: Int16,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i16",
                                Vector {
                                    ty: Int16,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int32",
                        in_params: [
                            (
                                "i32",
                                Vector {
                                    ty: Int32,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i32",
                                Vector {
                                    ty: Int32,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int64",
                        in_params: [
                            (
                                "i64",
                                Vector {
                                    ty: Int64,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i64",
                                Vector {
                                    ty: Int64,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint8",
                        in_params: [
                            (
                                "u8",
                                Vector {
                                    ty: UInt8,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u8",
                                Vector {
                                    ty: UInt8,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint16",
                        in_params: [
                            (
                                "u16",
                                Vector {
                                    ty: UInt16,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u16",
                                Vector {
                                    ty: UInt16,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint32",
                        in_params: [
                            (
                                "u32",
                                Vector {
                                    ty: UInt32,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u32",
                                Vector {
                                    ty: UInt32,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint64",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: UInt64,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u64",
                                Vector {
                                    ty: UInt64,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Float32",
                        in_params: [
                            (
                                "f32",
                                Vector {
                                    ty: Float32,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f32",
                                Vector {
                                    ty: Float32,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Float64",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Float64,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f64",
                                Vector {
                                    ty: Float64,
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Handle",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Handle {
                                        ty: Handle,
                                        reference: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f64",
                                Vector {
                                    ty: Handle {
                                        ty: Handle,
                                        reference: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                ],
            },
            Protocol {
                attributes: Attrs(
                    [
                        Attr {
                            key: "Layout",
                            val: Some(
                                "ddk-protocol",
                            ),
                        },
                    ],
                ),
                name: Ident {
                    namespace: Some(
                        "banjo.examples.protocol.vector",
                    ),
                    name: "VectorOfVectors",
                },
                methods: [
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Bool",
                        in_params: [
                            (
                                "b",
                                Vector {
                                    ty: Vector {
                                        ty: Bool,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "b",
                                Vector {
                                    ty: Vector {
                                        ty: Bool,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int8",
                        in_params: [
                            (
                                "i8",
                                Vector {
                                    ty: Vector {
                                        ty: Int8,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i8",
                                Vector {
                                    ty: Vector {
                                        ty: Int8,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int16",
                        in_params: [
                            (
                                "i16",
                                Vector {
                                    ty: Vector {
                                        ty: Int16,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i16",
                                Vector {
                                    ty: Vector {
                                        ty: Int16,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int32",
                        in_params: [
                            (
                                "i32",
                                Vector {
                                    ty: Vector {
                                        ty: Int32,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i32",
                                Vector {
                                    ty: Vector {
                                        ty: Int32,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Int64",
                        in_params: [
                            (
                                "i64",
                                Vector {
                                    ty: Vector {
                                        ty: Int64,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "i64",
                                Vector {
                                    ty: Vector {
                                        ty: Int64,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint8",
                        in_params: [
                            (
                                "u8",
                                Vector {
                                    ty: Vector {
                                        ty: UInt8,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u8",
                                Vector {
                                    ty: Vector {
                                        ty: UInt8,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint16",
                        in_params: [
                            (
                                "u16",
                                Vector {
                                    ty: Vector {
                                        ty: UInt16,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u16",
                                Vector {
                                    ty: Vector {
                                        ty: UInt16,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint32",
                        in_params: [
                            (
                                "u32",
                                Vector {
                                    ty: Vector {
                                        ty: UInt32,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u32",
                                Vector {
                                    ty: Vector {
                                        ty: UInt32,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Uint64",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Vector {
                                        ty: UInt64,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Vector {
                                        ty: UInt64,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Float32",
                        in_params: [
                            (
                                "f32",
                                Vector {
                                    ty: Vector {
                                        ty: Float32,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f32",
                                Vector {
                                    ty: Vector {
                                        ty: Float32,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Float64",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Vector {
                                        ty: Float64,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f64",
                                Vector {
                                    ty: Vector {
                                        ty: Float64,
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                    Method {
                        attributes: Attrs(
                            [],
                        ),
                        name: "Handle",
                        in_params: [
                            (
                                "u64",
                                Vector {
                                    ty: Vector {
                                        ty: Handle {
                                            ty: Handle,
                                            reference: false,
                                        },
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                        out_params: [
                            (
                                "f64",
                                Vector {
                                    ty: Vector {
                                        ty: Handle {
                                            ty: Handle,
                                            reference: false,
                                        },
                                        size: Some(
                                            Constant(
                                                "4",
                                            ),
                                        ),
                                        nullable: false,
                                    },
                                    size: Some(
                                        Constant(
                                            "vector_size",
                                        ),
                                    ),
                                    nullable: false,
                                },
                            ),
                        ],
                    },
                ],
            },
        ],
    },
}