Menu Toggle
v2.0.0
int64_ops.h
Go to the documentation of this file.
1
/*
2
* Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3
*
4
* SPDX-License-Identifier: BSD-3-Clause
5
*/
6
7
#ifndef _PICO_INT64_OPS_H
8
#define _PICO_INT64_OPS_H
9
10
#include "pico/types.h"
11
20
#endif