#ifndef MODELS_TRANSLATE_H
#define MODELS_TRANSLATE_H

#include <vector>
#include <string>
#include <utility>
#include "unification.H"
#include "util/ptree.H"

class Rules;

std::pair<ptree,equations> translate_model(const Rules& R,
					   const ptree& required_type,
					   ptree model,
					   const std::vector<std::pair<std::string,term_t>>& scope);

term_t extract_value(const term_t& T);
#endif
