Module {
    source_file: Some(
        "MANIFEST_PATH/tests/examples/constraint_informal_language.sdm",
    ),
    file_id: Some(
        0,
    ),
    span: Some(
        Span {
            start: 0,
            end: 84,
        },
    ),
    name: Identifier {
        span: Some(
            Span {
                start: 7,
                end: 14,
            },
        ),
        value: "Example",
    },
    base_uri: None,
    version_info: None,
    version_uri: None,
    body: ModuleBody {
        span: Some(
            Span {
                start: 15,
                end: 83,
            },
        ),
        file_id: None,
        is_library: false,
        imports: [],
        annotations: [
            Constraint(
                Constraint {
                    span: None,
                    name: Identifier {
                        span: Some(
                            Span {
                                start: 27,
                                end: 41,
                            },
                        ),
                        value: "no_definitions",
                    },
                    body: Informal(
                        ControlledLanguageString {
                            span: Some(
                                Span {
                                    start: 42,
                                    end: 79,
                                },
                            ),
                            value: " \"This module has no definitions\"@e",
                            language: Some(
                                ControlledLanguageTag {
                                    span: None,
                                    value: "= \"This module has no definitions\"@en",
                                },
                            ),
                        },
                    ),
                },
            ),
        ],
        definitions: [],
    },
}
