#ifndef GOOSE_BUILTINS_H
#define GOOSE_BUILTINS_H

#include "eir/eir.h"
#include "cir/cir.h"
#include "sema/sema.h"
#include "diagnostics/diagnostics.h"

namespace goose::builtins
{
    using namespace eir;
    using namespace sema;
    using namespace diagnostics;

    extern const Term& RootG0Identity();
}

#include "codegen/codegen.h"

#include "helpers.h"
#include "builders/codebuilder.h"
#include "types/types.h"
#include "operators/operators.h"
#include "statements/statements.h"
#include "exprhelpers.h"

namespace goose::builtins
{
    extern void SetupDefaultBuilderInterface( Env& e );
    extern void SetupCodeBuilderInterface( Env& e );
    extern void SetupPropositionsBuilderInterface( Env& e );
    extern void SetupGhostCodeBuilderInterface( Env& e );
    extern void SetupBuiltins( Env& e );
}

#endif