uplifted_instances.h

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