#ifndef __ANTHEM__COMPLETION_H
#define __ANTHEM__COMPLETION_H

#include <anthem/AST.h>
#include <anthem/Context.h>

namespace anthem
{

////////////////////////////////////////////////////////////////////////////////////////////////////
//
// Completion
//
////////////////////////////////////////////////////////////////////////////////////////////////////

std::vector<ast::Formula> complete(std::vector<ast::ScopedFormula> &&scopedFormulas, Context &context);

////////////////////////////////////////////////////////////////////////////////////////////////////

}

#endif