// 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 HttpMethod : SpacetimeDB.TaggedEnum<(
        SpacetimeDB.Unit Get,
        SpacetimeDB.Unit Head,
        SpacetimeDB.Unit Post,
        SpacetimeDB.Unit Put,
        SpacetimeDB.Unit Delete,
        SpacetimeDB.Unit Connect,
        SpacetimeDB.Unit Options,
        SpacetimeDB.Unit Trace,
        SpacetimeDB.Unit Patch,
        string Extension
    )>;
}