//=======================================================================
// Copyright Baptiste Wicht 2013-2014.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
//  http://www.boost.org/LICENSE_1_0.txt)
//=======================================================================

#ifndef USER_PRINT_HPP
#define USER_PRINT_HPP

//TODO Rename in console

#include <types.hpp>

void print(char c);
void print(const char* s);
void print(size_t v);
void print_line();
void print_line(const char* s);
void print_line(size_t v);
size_t read_input(char* buffer, size_t max);

#endif