예제 #1
0
파일: lean_path.cpp 프로젝트: avigad/lean 
bool is_olean_file(std::string const & fname) {
    return has_file_ext(fname, ".olean");
}
예제 #2
0
파일: lean_path.cpp 프로젝트: codyroux/lean 
bool is_lua_file(std::string const & fname) {
    return has_file_ext(fname, ".lua");
}