// Lean compiler output
// Module: Std.Time.Time.Unit.Nanosecond
// Imports: Std.Internal.Rat Std.Time.Internal
#include <lean/lean.h>
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
#pragma clang diagnostic ignored "-Wunused-label"
#elif defined(__GNUC__) && !defined(__CLANG__)
#pragma GCC diagnostic ignored "-Wunused-parameter"
#pragma GCC diagnostic ignored "-Wunused-label"
#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
#endif
#ifdef __cplusplus
extern "C" {
#endif
static lean_object* l_Std_Time_Nanosecond_instOffsetSub___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Offset_ofInt(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdinalLE;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetInhabited;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofFin(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetLT;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instDecidableLeOfDay___boxed(lean_object*, lean_object*);
static lean_object* l_Std_Time_Nanosecond_instOrdOrdinal___closed__2;
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLeSpan(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLeOrdinal___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetDecidableEq___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instSpanDecidableEq(lean_object*, lean_object*);
lean_object* l_compareOn___at_Std_Time_Internal_Bounded_instOrd___spec__1___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLtOffset___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofInt___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instDecidableLtOfDay___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetRepr;
lean_object* l_Std_Time_Internal_UnitVal_instToString___rarg___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOfNatOrdinal___boxed(lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_Ordinal_instDecidableLtOfDay(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdSpan;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instInhabitedSpan;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLeOffset___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofNat(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetLE;
uint8_t lean_int_dec_le(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetNeg;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Span_toOffset(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofInt(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLtSpan___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Offset_ofNat(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instSpanLE;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instOrdOfDay;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdOffset;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instOfDayRepr;
lean_object* l_Std_Time_Internal_Bounded_instRepr___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instInhabitedOfDay;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLeSpan___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_Ordinal_instOfDayDecidableEq(lean_object*, lean_object*);
static lean_object* l_Std_Time_Nanosecond_instOffsetToString___closed__1;
lean_object* lean_nat_to_int(lean_object*);
lean_object* l_Std_Time_Internal_instOrdUnitVal___rarg___boxed(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instNeg___rarg___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLtOrdinal___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_toOffset(lean_object*);
static lean_object* l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1;
static lean_object* l_Std_Time_Nanosecond_instOrdinalRepr___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instSpanDecidableEq___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdinalLT;
lean_object* l_Std_Time_Internal_UnitVal_add___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instOrdinalDecidableEq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOfNatOrdinal(lean_object*);
static lean_object* l_Std_Time_Nanosecond_instOrdOrdinal___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdinalRepr;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Span_toOffset___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdinalDecidableEq___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_Ordinal_instDecidableLeOfDay(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLtOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOfNatOffset(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetToString;
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLeOffset(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_sub___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLeOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instOfDayLT;
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLtOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instSpanLT;
lean_object* lean_nat_mod(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instRepr___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instOfDayLE;
uint8_t lean_int_dec_lt(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLtSpan(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instSpanRepr;
static lean_object* l_Std_Time_Nanosecond_instOffsetAdd___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Offset_ofInt___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_toOffset___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetAdd;
uint8_t lean_int_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instInhabitedOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetSub;
static lean_object* l_Std_Time_Nanosecond_instOffsetRepr___closed__1;
lean_object* l_Std_Time_Internal_Bounded_instOrd___rarg___lambda__1___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instOfDayDecidableEq___boxed(lean_object*, lean_object*);
static lean_object* l_Std_Time_Nanosecond_instOrdOffset___closed__1;
static lean_object* l_Std_Time_Nanosecond_instOffsetNeg___closed__1;
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instOffsetDecidableEq(lean_object*, lean_object*);
static lean_object* _init_l_Std_Time_Nanosecond_instOrdinalRepr___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_Bounded_instRepr___rarg___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdinalRepr() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdinalRepr___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instOrdinalDecidableEq(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_eq(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOrdinalDecidableEq___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instOrdinalDecidableEq(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdinalLE() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdinalLT() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOfNatOrdinal(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; 
x_2 = lean_unsigned_to_nat(1000000000u);
x_3 = lean_nat_mod(x_1, x_2);
x_4 = lean_nat_to_int(x_3);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOfNatOrdinal___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Nanosecond_instOfNatOrdinal(x_1);
lean_dec(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(0u);
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instInhabitedOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLeOrdinal(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_le(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLeOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instDecidableLeOrdinal(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLtOrdinal(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_lt(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLtOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instDecidableLtOrdinal(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdOrdinal___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_Bounded_instOrd___rarg___lambda__1___boxed), 1, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdOrdinal___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = l_Std_Time_Nanosecond_instOrdOrdinal___closed__1;
x_2 = lean_alloc_closure((void*)(l_compareOn___at_Std_Time_Internal_Bounded_instOrd___spec__1___rarg___boxed), 3, 1);
lean_closure_set(x_2, 0, x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdOrdinal___closed__2;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetRepr___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_instRepr___rarg___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetRepr() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOffsetRepr___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instOffsetDecidableEq(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_eq(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOffsetDecidableEq___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instOffsetDecidableEq(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetInhabited() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetAdd___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_add___rarg___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetAdd() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOffsetAdd___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetSub___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_sub___rarg___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetSub() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOffsetSub___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetNeg___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_instNeg___rarg___boxed), 1, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetNeg() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOffsetNeg___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetLE() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetLT() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetToString___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_instToString___rarg___boxed), 1, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOffsetToString() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOffsetToString___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLeOffset(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_le(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLeOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instDecidableLeOffset(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLtOffset(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_lt(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLtOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instDecidableLtOffset(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instOfNatOffset(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdOffset___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_alloc_closure((void*)(l_Std_Time_Internal_instOrdUnitVal___rarg___boxed), 2, 0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdOffset___closed__1;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Offset_ofNat(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Offset_ofInt(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Offset_ofInt___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Nanosecond_Offset_ofInt(x_1);
lean_dec(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instSpanRepr() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdinalRepr___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instSpanDecidableEq(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_eq(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instSpanDecidableEq___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instSpanDecidableEq(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instSpanLE() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instSpanLT() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instInhabitedSpan() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLeSpan(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_le(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLeSpan___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instDecidableLeSpan(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_instDecidableLtSpan(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_lt(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_instDecidableLtSpan___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_instDecidableLtSpan(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_instOrdSpan() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdOrdinal___closed__2;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Span_toOffset(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Span_toOffset___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Nanosecond_Span_toOffset(x_1);
lean_dec(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_Ordinal_instOfDayRepr() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdinalRepr___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_Ordinal_instOfDayDecidableEq(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_eq(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instOfDayDecidableEq___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_Ordinal_instOfDayDecidableEq(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_Ordinal_instOfDayLE() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_Ordinal_instOfDayLT() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_Ordinal_instInhabitedOfDay() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_Ordinal_instDecidableLeOfDay(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_le(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instDecidableLeOfDay___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_Ordinal_instDecidableLeOfDay(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Nanosecond_Ordinal_instDecidableLtOfDay(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; 
x_3 = lean_int_dec_lt(x_1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_instDecidableLtOfDay___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Nanosecond_Ordinal_instDecidableLtOfDay(x_1, x_2);
lean_dec(x_2);
lean_dec(x_1);
x_4 = lean_box(x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Nanosecond_Ordinal_instOrdOfDay() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Nanosecond_instOrdOrdinal___closed__2;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofInt(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofInt___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Std_Time_Nanosecond_Ordinal_ofInt(x_1, x_2);
lean_dec(x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofNat(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = lean_nat_to_int(x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_ofFin(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_toOffset(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Nanosecond_Ordinal_toOffset___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Nanosecond_Ordinal_toOffset(x_1);
lean_dec(x_1);
return x_2;
}
}
lean_object* initialize_Std_Internal_Rat(uint8_t builtin, lean_object*);
lean_object* initialize_Std_Time_Internal(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Std_Time_Time_Unit_Nanosecond(uint8_t builtin, lean_object* w) {
lean_object * res;
if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_initialized = true;
res = initialize_Std_Internal_Rat(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Std_Time_Internal(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Std_Time_Nanosecond_instOrdinalRepr___closed__1 = _init_l_Std_Time_Nanosecond_instOrdinalRepr___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdinalRepr___closed__1);
l_Std_Time_Nanosecond_instOrdinalRepr = _init_l_Std_Time_Nanosecond_instOrdinalRepr();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdinalRepr);
l_Std_Time_Nanosecond_instOrdinalLE = _init_l_Std_Time_Nanosecond_instOrdinalLE();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdinalLE);
l_Std_Time_Nanosecond_instOrdinalLT = _init_l_Std_Time_Nanosecond_instOrdinalLT();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdinalLT);
l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1 = _init_l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instInhabitedOrdinal___closed__1);
l_Std_Time_Nanosecond_instInhabitedOrdinal = _init_l_Std_Time_Nanosecond_instInhabitedOrdinal();
lean_mark_persistent(l_Std_Time_Nanosecond_instInhabitedOrdinal);
l_Std_Time_Nanosecond_instOrdOrdinal___closed__1 = _init_l_Std_Time_Nanosecond_instOrdOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdOrdinal___closed__1);
l_Std_Time_Nanosecond_instOrdOrdinal___closed__2 = _init_l_Std_Time_Nanosecond_instOrdOrdinal___closed__2();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdOrdinal___closed__2);
l_Std_Time_Nanosecond_instOrdOrdinal = _init_l_Std_Time_Nanosecond_instOrdOrdinal();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdOrdinal);
l_Std_Time_Nanosecond_instOffsetRepr___closed__1 = _init_l_Std_Time_Nanosecond_instOffsetRepr___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetRepr___closed__1);
l_Std_Time_Nanosecond_instOffsetRepr = _init_l_Std_Time_Nanosecond_instOffsetRepr();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetRepr);
l_Std_Time_Nanosecond_instOffsetInhabited = _init_l_Std_Time_Nanosecond_instOffsetInhabited();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetInhabited);
l_Std_Time_Nanosecond_instOffsetAdd___closed__1 = _init_l_Std_Time_Nanosecond_instOffsetAdd___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetAdd___closed__1);
l_Std_Time_Nanosecond_instOffsetAdd = _init_l_Std_Time_Nanosecond_instOffsetAdd();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetAdd);
l_Std_Time_Nanosecond_instOffsetSub___closed__1 = _init_l_Std_Time_Nanosecond_instOffsetSub___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetSub___closed__1);
l_Std_Time_Nanosecond_instOffsetSub = _init_l_Std_Time_Nanosecond_instOffsetSub();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetSub);
l_Std_Time_Nanosecond_instOffsetNeg___closed__1 = _init_l_Std_Time_Nanosecond_instOffsetNeg___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetNeg___closed__1);
l_Std_Time_Nanosecond_instOffsetNeg = _init_l_Std_Time_Nanosecond_instOffsetNeg();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetNeg);
l_Std_Time_Nanosecond_instOffsetLE = _init_l_Std_Time_Nanosecond_instOffsetLE();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetLE);
l_Std_Time_Nanosecond_instOffsetLT = _init_l_Std_Time_Nanosecond_instOffsetLT();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetLT);
l_Std_Time_Nanosecond_instOffsetToString___closed__1 = _init_l_Std_Time_Nanosecond_instOffsetToString___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetToString___closed__1);
l_Std_Time_Nanosecond_instOffsetToString = _init_l_Std_Time_Nanosecond_instOffsetToString();
lean_mark_persistent(l_Std_Time_Nanosecond_instOffsetToString);
l_Std_Time_Nanosecond_instOrdOffset___closed__1 = _init_l_Std_Time_Nanosecond_instOrdOffset___closed__1();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdOffset___closed__1);
l_Std_Time_Nanosecond_instOrdOffset = _init_l_Std_Time_Nanosecond_instOrdOffset();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdOffset);
l_Std_Time_Nanosecond_instSpanRepr = _init_l_Std_Time_Nanosecond_instSpanRepr();
lean_mark_persistent(l_Std_Time_Nanosecond_instSpanRepr);
l_Std_Time_Nanosecond_instSpanLE = _init_l_Std_Time_Nanosecond_instSpanLE();
lean_mark_persistent(l_Std_Time_Nanosecond_instSpanLE);
l_Std_Time_Nanosecond_instSpanLT = _init_l_Std_Time_Nanosecond_instSpanLT();
lean_mark_persistent(l_Std_Time_Nanosecond_instSpanLT);
l_Std_Time_Nanosecond_instInhabitedSpan = _init_l_Std_Time_Nanosecond_instInhabitedSpan();
lean_mark_persistent(l_Std_Time_Nanosecond_instInhabitedSpan);
l_Std_Time_Nanosecond_instOrdSpan = _init_l_Std_Time_Nanosecond_instOrdSpan();
lean_mark_persistent(l_Std_Time_Nanosecond_instOrdSpan);
l_Std_Time_Nanosecond_Ordinal_instOfDayRepr = _init_l_Std_Time_Nanosecond_Ordinal_instOfDayRepr();
lean_mark_persistent(l_Std_Time_Nanosecond_Ordinal_instOfDayRepr);
l_Std_Time_Nanosecond_Ordinal_instOfDayLE = _init_l_Std_Time_Nanosecond_Ordinal_instOfDayLE();
lean_mark_persistent(l_Std_Time_Nanosecond_Ordinal_instOfDayLE);
l_Std_Time_Nanosecond_Ordinal_instOfDayLT = _init_l_Std_Time_Nanosecond_Ordinal_instOfDayLT();
lean_mark_persistent(l_Std_Time_Nanosecond_Ordinal_instOfDayLT);
l_Std_Time_Nanosecond_Ordinal_instInhabitedOfDay = _init_l_Std_Time_Nanosecond_Ordinal_instInhabitedOfDay();
lean_mark_persistent(l_Std_Time_Nanosecond_Ordinal_instInhabitedOfDay);
l_Std_Time_Nanosecond_Ordinal_instOrdOfDay = _init_l_Std_Time_Nanosecond_Ordinal_instOrdOfDay();
lean_mark_persistent(l_Std_Time_Nanosecond_Ordinal_instOrdOfDay);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus
}
#endif
