uplifted_instances.h

// This file is auto generated, do NOT edit, run ./config.sh instead
 
#include "../uplifts/bebop/bebop26.h"
#include "../uplifts/models_api/brane.h"
#include "../uplifts/api/internal_api.h"
 
extern Bebop26 BEBOP;
extern BraneAPI MODELS_API;
extern InternalAPI HTTP_API;