// 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;

namespace SpacetimeDB.Internal
{
    [SpacetimeDB.Type]
    public partial record RawModuleDefV10Section : SpacetimeDB.TaggedEnum<(
        Typespace Typespace,
        System.Collections.Generic.List<RawTypeDefV10> Types,
        System.Collections.Generic.List<RawTableDefV10> Tables,
        System.Collections.Generic.List<RawReducerDefV10> Reducers,
        System.Collections.Generic.List<RawProcedureDefV10> Procedures,
        System.Collections.Generic.List<RawViewDefV10> Views,
        System.Collections.Generic.List<RawScheduleDefV10> Schedules,
        System.Collections.Generic.List<RawLifeCycleReducerDefV10> LifeCycleReducers,
        System.Collections.Generic.List<RawRowLevelSecurityDefV9> RowLevelSecurity,
        SpacetimeDB.CaseConversionPolicy CaseConversionPolicy,
        ExplicitNames ExplicitNames,
        System.Collections.Generic.List<RawHttpHandlerDefV10> HttpHandlers,
        System.Collections.Generic.List<RawHttpRouteDefV10> HttpRoutes,
        System.Collections.Generic.List<RawViewPrimaryKeyDefV10> ViewPrimaryKeys
    )>;
}