Module {
    source_file: Some(
        "MANIFEST_PATH/tests/examples/property_def_some.sdm",
    ),
    file_id: Some(
        0,
    ),
    span: Some(
        Span {
            start: 0,
            end: 106,
        },
    ),
    name: Identifier {
        span: Some(
            Span {
                start: 7,
                end: 12,
            },
        ),
        value: "ddict",
    },
    base_uri: None,
    version_info: None,
    version_uri: None,
    body: ModuleBody {
        span: Some(
            Span {
                start: 13,
                end: 105,
            },
        ),
        file_id: None,
        is_library: false,
        imports: [],
        annotations: [],
        definitions: [
            Property(
                PropertyDef {
                    span: None,
                    member: MemberDef {
                        span: Some(
                            Span {
                                start: 27,
                                end: 101,
                            },
                        ),
                        name: Identifier {
                            span: Some(
                                Span {
                                    start: 27,
                                    end: 37,
                                },
                            ),
                            value: "identifier",
                        },
                        target_cardinality: Cardinality {
                            span: Some(
                                Span {
                                    start: 41,
                                    end: 44,
                                },
                            ),
                            ordering: None,
                            uniqueness: None,
                            range: CardinalityRange {
                                span: None,
                                min: 2,
                                max: Some(
                                    2,
                                ),
                            },
                        },
                        target_type: Type(
                            QualifiedIdentifier(
                                QualifiedIdentifier {
                                    span: Some(
                                        Span {
                                            start: 45,
                                            end: 62,
                                        },
                                    ),
                                    module: Identifier {
                                        span: Some(
                                            Span {
                                                start: 45,
                                                end: 52,
                                            },
                                        ),
                                        value: "account",
                                    },
                                    member: Identifier {
                                        span: Some(
                                            Span {
                                                start: 53,
                                                end: 62,
                                            },
                                        ),
                                        value: "AccountId",
                                    },
                                },
                            ),
                        ),
                        body: Some(
                            AnnotationOnlyBody {
                                span: Some(
                                    Span {
                                        start: 63,
                                        end: 101,
                                    },
                                ),
                                annotations: [
                                    Property(
                                        AnnotationProperty {
                                            span: Some(
                                                Span {
                                                    start: 70,
                                                    end: 95,
                                                },
                                            ),
                                            name_reference: QualifiedIdentifier(
                                                QualifiedIdentifier {
                                                    span: Some(
                                                        Span {
                                                            start: 71,
                                                            end: 86,
                                                        },
                                                    ),
                                                    module: Identifier {
                                                        span: Some(
                                                            Span {
                                                                start: 71,
                                                                end: 75,
                                                            },
                                                        ),
                                                        value: "skos",
                                                    },
                                                    member: Identifier {
                                                        span: Some(
                                                            Span {
                                                                start: 76,
                                                                end: 86,
                                                            },
                                                        ),
                                                        value: "definition",
                                                    },
                                                },
                                            ),
                                            value: Simple(
                                                String(
                                                    LanguageString {
                                                        span: Some(
                                                            Span {
                                                                start: 89,
                                                                end: 95,
                                                            },
                                                        ),
                                                        value: "a",
                                                        language: Some(
                                                            LanguageTag {
                                                                span: Some(
                                                                    Span {
                                                                        start: 92,
                                                                        end: 95,
                                                                    },
                                                                ),
                                                                value: "en",
                                                            },
                                                        ),
                                                    },
                                                ),
                                            ),
                                        },
                                    ),
                                ],
                            },
                        ),
                    },
                },
            ),
        ],
    },
}
