// Lean compiler output
// Module: Std.Time.Time.Unit.Millisecond
// Imports: Std.Internal.Rat Std.Time.Internal Std.Time.Time.Unit.Nanosecond
#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
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOrdOffset;
static lean_object* l_Std_Time_Millisecond_instOffsetNeg___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetLT;
static lean_object* l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLtOffset(lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5;
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_Millisecond_Ordinal_toOffset(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___boxed(lean_object*, lean_object*);
lean_object* lean_int_emod(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instToString___rarg___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt(lean_object*);
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt___boxed(lean_object*);
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__10;
static lean_object* l_Std_Time_Millisecond_instOffsetSub___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetDecidableEq___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofNat(lean_object*);
uint8_t lean_int_dec_le(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_Bounded_instRepr___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOrdinalRepr;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetLE;
static lean_object* l_Std_Time_Millisecond_instOrdOrdinal___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt(lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instOrdinalRepr___closed__1;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOrdinalLT;
lean_object* lean_nat_to_int(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetAdd;
lean_object* l_Std_Time_Internal_instOrdUnitVal___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOrdinal(lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instNeg___rarg___boxed(lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLeOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_toOffset___boxed(lean_object*);
static lean_object* l_Std_Time_Millisecond_instOffsetRepr___closed__1;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3;
lean_object* l_Std_Time_Internal_Bounded_LE_instOfNatHAddIntCast(lean_object*, lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetInhabited;
lean_object* l_Std_Time_Internal_UnitVal_add___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOrdinalLE;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetNeg;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOrdinalDecidableEq___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetSub;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2;
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instOffsetDecidableEq(lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instOffsetAdd___closed__1;
lean_object* lean_int_sub(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instOrdinalDecidableEq(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_Millisecond_instDecidableLeOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofFin(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLeOffset___boxed(lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instOrdOffset___closed__1;
lean_object* l_Std_Time_Internal_UnitVal_instRepr___rarg___boxed(lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instOffsetToString___closed__1;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOffset(lean_object*);
uint8_t lean_int_dec_lt(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetRepr;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLeOrdinal___boxed(lean_object*, lean_object*);
static lean_object* l_Std_Time_Millisecond_instOrdOrdinal___closed__2;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal;
lean_object* lean_int_add(lean_object*, lean_object*);
uint8_t lean_int_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOrdOrdinal;
lean_object* l_Std_Time_Internal_Bounded_instOrd___rarg___lambda__1___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOffsetToString;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofNat(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLtOrdinal___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLtOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLtOffset___boxed(lean_object*, lean_object*);
static lean_object* _init_l_Std_Time_Millisecond_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_Millisecond_instOrdinalRepr() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOrdinalRepr___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_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_Millisecond_instOrdinalDecidableEq___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Millisecond_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_Millisecond_instOrdinalLE() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instOrdinalLT() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instOfNatOrdinal___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;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOrdinal(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; 
x_2 = l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
x_3 = lean_unsigned_to_nat(999u);
x_4 = l_Std_Time_Internal_Bounded_LE_instOfNatHAddIntCast(x_2, x_1, x_3);
return x_4;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(999u);
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
x_2 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1;
x_3 = lean_int_add(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2;
x_2 = l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
x_3 = lean_int_sub(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = lean_unsigned_to_nat(1u);
x_2 = lean_nat_to_int(x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3;
x_2 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4;
x_3 = lean_int_add(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
x_2 = lean_int_sub(x_1, x_1);
return x_2;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6;
x_2 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5;
x_3 = lean_int_emod(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7;
x_2 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5;
x_3 = lean_int_add(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8;
x_2 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5;
x_3 = lean_int_emod(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__10() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9;
x_2 = l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
x_3 = lean_int_add(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instInhabitedOrdinal___closed__10;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_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_Millisecond_instDecidableLeOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Millisecond_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_Millisecond_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_Millisecond_instDecidableLtOrdinal___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Millisecond_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_Millisecond_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_Millisecond_instOrdOrdinal___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; 
x_1 = l_Std_Time_Millisecond_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_Millisecond_instOrdOrdinal() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOrdOrdinal___closed__2;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_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_Millisecond_instOffsetRepr() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOffsetRepr___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_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_Millisecond_instOffsetDecidableEq___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Millisecond_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_Millisecond_instOffsetInhabited() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOfNatOrdinal___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_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_Millisecond_instOffsetAdd() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOffsetAdd___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_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_Millisecond_instOffsetSub() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOffsetSub___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_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_Millisecond_instOffsetNeg() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOffsetNeg___closed__1;
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instOffsetLE() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instOffsetLT() {
_start:
{
lean_object* x_1; 
x_1 = lean_box(0);
return x_1;
}
}
static lean_object* _init_l_Std_Time_Millisecond_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_Millisecond_instOffsetToString() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOffsetToString___closed__1;
return x_1;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_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_Millisecond_instDecidableLeOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Millisecond_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_Millisecond_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_Millisecond_instDecidableLtOffset___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
uint8_t x_3; lean_object* x_4; 
x_3 = l_Std_Time_Millisecond_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_Millisecond_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_Millisecond_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_Millisecond_instOrdOffset() {
_start:
{
lean_object* x_1; 
x_1 = l_Std_Time_Millisecond_instOrdOffset___closed__1;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_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_Millisecond_Offset_ofInt(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Millisecond_Offset_ofInt(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_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_Millisecond_Ordinal_ofInt___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Std_Time_Millisecond_Ordinal_ofInt(x_1, x_2);
lean_dec(x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_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_Millisecond_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_Millisecond_Ordinal_toOffset(lean_object* x_1) {
_start:
{
lean_inc(x_1);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_toOffset___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Std_Time_Millisecond_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*);
lean_object* initialize_Std_Time_Time_Unit_Nanosecond(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Std_Time_Time_Unit_Millisecond(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);
res = initialize_Std_Time_Time_Unit_Nanosecond(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Std_Time_Millisecond_instOrdinalRepr___closed__1 = _init_l_Std_Time_Millisecond_instOrdinalRepr___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdinalRepr___closed__1);
l_Std_Time_Millisecond_instOrdinalRepr = _init_l_Std_Time_Millisecond_instOrdinalRepr();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdinalRepr);
l_Std_Time_Millisecond_instOrdinalLE = _init_l_Std_Time_Millisecond_instOrdinalLE();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdinalLE);
l_Std_Time_Millisecond_instOrdinalLT = _init_l_Std_Time_Millisecond_instOrdinalLT();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdinalLT);
l_Std_Time_Millisecond_instOfNatOrdinal___closed__1 = _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOfNatOrdinal___closed__1);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9);
l_Std_Time_Millisecond_instInhabitedOrdinal___closed__10 = _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__10();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal___closed__10);
l_Std_Time_Millisecond_instInhabitedOrdinal = _init_l_Std_Time_Millisecond_instInhabitedOrdinal();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal);
l_Std_Time_Millisecond_instOrdOrdinal___closed__1 = _init_l_Std_Time_Millisecond_instOrdOrdinal___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdOrdinal___closed__1);
l_Std_Time_Millisecond_instOrdOrdinal___closed__2 = _init_l_Std_Time_Millisecond_instOrdOrdinal___closed__2();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdOrdinal___closed__2);
l_Std_Time_Millisecond_instOrdOrdinal = _init_l_Std_Time_Millisecond_instOrdOrdinal();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdOrdinal);
l_Std_Time_Millisecond_instOffsetRepr___closed__1 = _init_l_Std_Time_Millisecond_instOffsetRepr___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetRepr___closed__1);
l_Std_Time_Millisecond_instOffsetRepr = _init_l_Std_Time_Millisecond_instOffsetRepr();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetRepr);
l_Std_Time_Millisecond_instOffsetInhabited = _init_l_Std_Time_Millisecond_instOffsetInhabited();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetInhabited);
l_Std_Time_Millisecond_instOffsetAdd___closed__1 = _init_l_Std_Time_Millisecond_instOffsetAdd___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetAdd___closed__1);
l_Std_Time_Millisecond_instOffsetAdd = _init_l_Std_Time_Millisecond_instOffsetAdd();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetAdd);
l_Std_Time_Millisecond_instOffsetSub___closed__1 = _init_l_Std_Time_Millisecond_instOffsetSub___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetSub___closed__1);
l_Std_Time_Millisecond_instOffsetSub = _init_l_Std_Time_Millisecond_instOffsetSub();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetSub);
l_Std_Time_Millisecond_instOffsetNeg___closed__1 = _init_l_Std_Time_Millisecond_instOffsetNeg___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetNeg___closed__1);
l_Std_Time_Millisecond_instOffsetNeg = _init_l_Std_Time_Millisecond_instOffsetNeg();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetNeg);
l_Std_Time_Millisecond_instOffsetLE = _init_l_Std_Time_Millisecond_instOffsetLE();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetLE);
l_Std_Time_Millisecond_instOffsetLT = _init_l_Std_Time_Millisecond_instOffsetLT();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetLT);
l_Std_Time_Millisecond_instOffsetToString___closed__1 = _init_l_Std_Time_Millisecond_instOffsetToString___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetToString___closed__1);
l_Std_Time_Millisecond_instOffsetToString = _init_l_Std_Time_Millisecond_instOffsetToString();
lean_mark_persistent(l_Std_Time_Millisecond_instOffsetToString);
l_Std_Time_Millisecond_instOrdOffset___closed__1 = _init_l_Std_Time_Millisecond_instOrdOffset___closed__1();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdOffset___closed__1);
l_Std_Time_Millisecond_instOrdOffset = _init_l_Std_Time_Millisecond_instOrdOffset();
lean_mark_persistent(l_Std_Time_Millisecond_instOrdOffset);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus
}
#endif
