---
source: crates/aiken-project/src/blueprint/validator.rs
description: "Code:\n\npub opaque type Dict<key, value> {\n    inner: List<(ByteArray, value)>\n}\n\ntype UUID { UUID }\n\nvalidator {\n  fn opaque_singleton_variants(redeemer: Dict<UUID, Int>, ctx: Void) {\n    True\n  }\n}\n"
---
Schema {
    error: Error {
        context: IllegalOpaqueType,
        breadcrumbs: [
            App {
                public: true,
                module: "test_module",
                name: "Dict",
                args: [
                    Var {
                        tipo: RefCell {
                            value: Link {
                                tipo: App {
                                    public: false,
                                    module: "test_module",
                                    name: "UUID",
                                    args: [],
                                    alias: None,
                                },
                            },
                        },
                        alias: None,
                    },
                    Var {
                        tipo: RefCell {
                            value: Link {
                                tipo: App {
                                    public: true,
                                    module: "",
                                    name: "Int",
                                    args: [],
                                    alias: None,
                                },
                            },
                        },
                        alias: None,
                    },
                ],
                alias: None,
            },
        ],
    },
    location: 137..162,
    source_code: NamedSource {
        name: "",
        source: "<redacted>",
    ,
}
