// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.

#nullable enable

using System;
using System.Collections.Generic;
using System.Runtime.Serialization;

namespace SpacetimeDB.Internal
{
    [SpacetimeDB.Type]
    [DataContract]
    public sealed partial class RawModuleDefV10
    {
        [DataMember(Name = "sections")]
        public System.Collections.Generic.List<RawModuleDefV10Section> Sections;

        public RawModuleDefV10(System.Collections.Generic.List<RawModuleDefV10Section> Sections)
        {
            this.Sections = Sections;
        }

        public RawModuleDefV10()
        {
            this.Sections = new();
        }
    }
}