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