/**  @noSelfInFile */

declare module '@asledgehammer/pipewrench/server' {
  export namespace lua.server.Traps {}
  export namespace lua.server.Traps.TrapRecipeCode {}
}