Platform {
    header: PlatformHeader {
        name: |L 0-0, C 9-19| PackageName {
            account: "foo",
            pkg: "barbaz",
        },
        requires: PlatformRequires {
            rigids: [
                |L 1-1, C 14-26| Entry {
                    rigid: "model",
                    alias: "Model",
                },
            ],
            signature: |L 1-1, C 30-39| Entry {
                ident: |L 1-1, C 30-34| "main",
                spaces_before_colon: [],
                ann: |L 1-1, C 37-39| Record {
                    fields: [],
                    ext: None,
                },
            },
        },
        exposes: [],
        packages: [
            |L 3-3, C 15-27| Entry {
                shorthand: "foo",
                spaces_after_shorthand: [],
                package_or_path: |L 3-3, C 20-27| Path(
                    PlainLine(
                        "./foo",
                    ),
                ),
            },
        ],
        imports: [],
        provides: [
            |L 5-5, C 15-26| Exposed(
                "mainForHost",
            ),
        ],
        effects: Effects {
            spaces_before_effects_keyword: [
                Newline,
            ],
            spaces_after_effects_keyword: [],
            spaces_after_type_name: [],
            effect_shortname: "fx",
            effect_type_name: "Effect",
            entries: [],
        },
        before_header: [],
        after_platform_keyword: [],
        before_requires: [
            Newline,
        ],
        after_requires: [],
        before_exposes: [
            Newline,
        ],
        after_exposes: [],
        before_packages: [
            Newline,
        ],
        after_packages: [],
        before_imports: [
            Newline,
        ],
        after_imports: [],
        before_provides: [
            Newline,
        ],
        after_provides: [],
    },
}