table! {
	server_settings (id) {
		id -> Int4,
		guild_id -> Numeric,
		starboard_threshold -> Int4,
		starboard_emoji_id -> Numeric,
		starboard_channel -> Numeric,
	}
}

table! {
	starboard_mappings (original_id) {
		original_id -> Numeric,
		repost_id -> Nullable<Numeric>,
	}
}

table! {
	user_programs (id) {
		id -> Int4,
		discord_user_id -> Numeric,
		name -> Varchar,
		code -> Text,
		published -> Int4,
	}
}

allow_tables_to_appear_in_same_query!(server_settings, starboard_mappings, user_programs,);