// Lean compiler output
// Module: Std.Time.Time.Unit.Millisecond
// Imports: public import 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_object* l_Std_Time_Internal_Bounded_instRepr___lam__0___boxed(lean_object*, lean_object*);
lean_object* lean_nat_to_int(lean_object*);
lean_object* l_Rat_ofInt(lean_object*);
lean_object* l_instOrdInt___lam__0___boxed(lean_object*, lean_object*);
lean_object* l_Rat_div(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_instInhabitedUnitVal_default(lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instRepr___lam__0___boxed(lean_object*, lean_object*);
lean_object* lean_int_add(lean_object*, lean_object*);
lean_object* lean_int_sub(lean_object*, lean_object*);
lean_object* lean_int_emod(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_instOrdUnitVal___lam__0___boxed(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_Bounded_instOrd___lam__0___boxed(lean_object*);
lean_object* l_compareOn___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t lean_int_dec_le(lean_object*, lean_object*);
uint8_t lean_int_dec_lt(lean_object*, lean_object*);
lean_object* l_Int_neg___boxed(lean_object*);
uint8_t lean_int_dec_eq(lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_Bounded_LE_instOfNatHAddIntCast(lean_object*, lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_sub___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_add___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_Std_Time_Internal_UnitVal_instToString___lam__0___boxed(lean_object*);
static const lean_closure_object l_Std_Time_Millisecond_instReprOrdinal___closed__0_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_Std_Time_Internal_Bounded_instRepr___lam__0___boxed, .m_arity = 2, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instReprOrdinal___closed__0 = (const lean_object*)&l_Std_Time_Millisecond_instReprOrdinal___closed__0_value;
LEAN_EXPORT const lean_object* l_Std_Time_Millisecond_instReprOrdinal = (const lean_object*)&l_Std_Time_Millisecond_instReprOrdinal___closed__0_value;
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableEqOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableEqOrdinal___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instLEOrdinal;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instLTOrdinal;
static lean_once_cell_t l_Std_Time_Millisecond_instOfNatOrdinal___closed__0_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instOfNatOrdinal___closed__0;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOrdinal(lean_object*);
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__0_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__0;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instInhabitedOrdinal;
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLeOrdinal(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLeOrdinal___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_instDecidableLtOrdinal___boxed(lean_object*, lean_object*);
static const lean_closure_object l_Std_Time_Millisecond_instOrdOrdinal___closed__0_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_Std_Time_Internal_Bounded_instOrd___lam__0___boxed, .m_arity = 1, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instOrdOrdinal___closed__0 = (const lean_object*)&l_Std_Time_Millisecond_instOrdOrdinal___closed__0_value;
static const lean_closure_object l_Std_Time_Millisecond_instOrdOrdinal___closed__1_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_instOrdInt___lam__0___boxed, .m_arity = 2, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instOrdOrdinal___closed__1 = (const lean_object*)&l_Std_Time_Millisecond_instOrdOrdinal___closed__1_value;
static const lean_closure_object l_Std_Time_Millisecond_instOrdOrdinal___closed__2_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*4, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_compareOn___boxed, .m_arity = 6, .m_num_fixed = 4, .m_objs = {((lean_object*)(((size_t)(0) << 1) | 1)),((lean_object*)(((size_t)(0) << 1) | 1)),((lean_object*)&l_Std_Time_Millisecond_instOrdOrdinal___closed__1_value),((lean_object*)&l_Std_Time_Millisecond_instOrdOrdinal___closed__0_value)} };
static const lean_object* l_Std_Time_Millisecond_instOrdOrdinal___closed__2 = (const lean_object*)&l_Std_Time_Millisecond_instOrdOrdinal___closed__2_value;
LEAN_EXPORT const lean_object* l_Std_Time_Millisecond_instOrdOrdinal = (const lean_object*)&l_Std_Time_Millisecond_instOrdOrdinal___closed__2_value;
static const lean_closure_object l_Std_Time_Millisecond_instReprOffset___closed__0_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_Std_Time_Internal_UnitVal_instRepr___lam__0___boxed, .m_arity = 2, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instReprOffset___closed__0 = (const lean_object*)&l_Std_Time_Millisecond_instReprOffset___closed__0_value;
LEAN_EXPORT const lean_object* l_Std_Time_Millisecond_instReprOffset = (const lean_object*)&l_Std_Time_Millisecond_instReprOffset___closed__0_value;
LEAN_EXPORT lean_object* l_Nat_cast___at___00Nat_cast___at___00Std_Time_Millisecond_instReprOffset_spec__0_spec__0(lean_object*);
LEAN_EXPORT lean_object* l_Nat_cast___at___00Std_Time_Millisecond_instReprOffset_spec__0(lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableEqOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableEqOffset___boxed(lean_object*, lean_object*);
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOffset___closed__0_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOffset___closed__0;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOffset___closed__1_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOffset___closed__1;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOffset___closed__2_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOffset___closed__2;
static lean_once_cell_t l_Std_Time_Millisecond_instInhabitedOffset___closed__3_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instInhabitedOffset___closed__3;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instInhabitedOffset;
static lean_once_cell_t l_Std_Time_Millisecond_instAddOffset___closed__0_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instAddOffset___closed__0;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instAddOffset;
static lean_once_cell_t l_Std_Time_Millisecond_instSubOffset___closed__0_once = LEAN_ONCE_CELL_INITIALIZER;
static lean_object* l_Std_Time_Millisecond_instSubOffset___closed__0;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instSubOffset;
static const lean_closure_object l_Std_Time_Millisecond_instNegOffset___closed__0_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_Int_neg___boxed, .m_arity = 1, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instNegOffset___closed__0 = (const lean_object*)&l_Std_Time_Millisecond_instNegOffset___closed__0_value;
LEAN_EXPORT const lean_object* l_Std_Time_Millisecond_instNegOffset = (const lean_object*)&l_Std_Time_Millisecond_instNegOffset___closed__0_value;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instLEOffset;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instLTOffset;
static const lean_closure_object l_Std_Time_Millisecond_instToStringOffset___closed__0_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_Std_Time_Internal_UnitVal_instToString___lam__0___boxed, .m_arity = 1, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instToStringOffset___closed__0 = (const lean_object*)&l_Std_Time_Millisecond_instToStringOffset___closed__0_value;
LEAN_EXPORT const lean_object* l_Std_Time_Millisecond_instToStringOffset = (const lean_object*)&l_Std_Time_Millisecond_instToStringOffset___closed__0_value;
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLeOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLeOffset___boxed(lean_object*, lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLtOffset(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLtOffset___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOffset(lean_object*);
static const lean_closure_object l_Std_Time_Millisecond_instOrdOffset___closed__0_value = {.m_header = {.m_rc = 0, .m_cs_sz = sizeof(lean_closure_object) + sizeof(void*)*0, .m_other = 0, .m_tag = 245}, .m_fun = (void*)l_Std_Time_Internal_instOrdUnitVal___lam__0___boxed, .m_arity = 2, .m_num_fixed = 0, .m_objs = {} };
static const lean_object* l_Std_Time_Millisecond_instOrdOffset___closed__0 = (const lean_object*)&l_Std_Time_Millisecond_instOrdOffset___closed__0_value;
LEAN_EXPORT const lean_object* l_Std_Time_Millisecond_instOrdOffset = (const lean_object*)&l_Std_Time_Millisecond_instOrdOffset___closed__0_value;
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofNat(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___redArg(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___redArg___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofNat___redArg(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofNat(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofFin(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_toOffset(lean_object*);
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_toOffset___boxed(lean_object*);
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableEqOrdinal(lean_object* v_a_3_, lean_object* v_b_4_){
_start:
{
uint8_t v___x_5_; 
v___x_5_ = lean_int_dec_eq(v_a_3_, v_b_4_);
return v___x_5_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableEqOrdinal___boxed(lean_object* v_a_6_, lean_object* v_b_7_){
_start:
{
uint8_t v_res_8_; lean_object* v_r_9_; 
v_res_8_ = l_Std_Time_Millisecond_instDecidableEqOrdinal(v_a_6_, v_b_7_);
lean_dec(v_b_7_);
lean_dec(v_a_6_);
v_r_9_ = lean_box(v_res_8_);
return v_r_9_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instLEOrdinal(void){
_start:
{
lean_object* v___x_10_; 
v___x_10_ = lean_box(0);
return v___x_10_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instLTOrdinal(void){
_start:
{
lean_object* v___x_11_; 
v___x_11_ = lean_box(0);
return v___x_11_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__0(void){
_start:
{
lean_object* v___x_12_; lean_object* v___x_13_; 
v___x_12_ = lean_unsigned_to_nat(0u);
v___x_13_ = lean_nat_to_int(v___x_12_);
return v___x_13_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOrdinal(lean_object* v_n_14_){
_start:
{
lean_object* v___x_15_; lean_object* v___x_16_; lean_object* v___x_17_; 
v___x_15_ = lean_obj_once(&l_Std_Time_Millisecond_instOfNatOrdinal___closed__0, &l_Std_Time_Millisecond_instOfNatOrdinal___closed__0_once, _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__0);
v___x_16_ = lean_unsigned_to_nat(999u);
v___x_17_ = l_Std_Time_Internal_Bounded_LE_instOfNatHAddIntCast(v___x_15_, v_n_14_, v___x_16_);
return v___x_17_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__0(void){
_start:
{
lean_object* v___x_18_; lean_object* v___x_19_; 
v___x_18_ = lean_unsigned_to_nat(999u);
v___x_19_ = lean_nat_to_int(v___x_18_);
return v___x_19_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1(void){
_start:
{
lean_object* v___x_20_; lean_object* v___x_21_; lean_object* v___x_22_; 
v___x_20_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__0, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__0_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__0);
v___x_21_ = lean_obj_once(&l_Std_Time_Millisecond_instOfNatOrdinal___closed__0, &l_Std_Time_Millisecond_instOfNatOrdinal___closed__0_once, _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__0);
v___x_22_ = lean_int_add(v___x_21_, v___x_20_);
return v___x_22_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2(void){
_start:
{
lean_object* v___x_23_; lean_object* v___x_24_; lean_object* v___x_25_; 
v___x_23_ = lean_obj_once(&l_Std_Time_Millisecond_instOfNatOrdinal___closed__0, &l_Std_Time_Millisecond_instOfNatOrdinal___closed__0_once, _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__0);
v___x_24_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__1);
v___x_25_ = lean_int_sub(v___x_24_, v___x_23_);
return v___x_25_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3(void){
_start:
{
lean_object* v___x_26_; lean_object* v___x_27_; 
v___x_26_ = lean_unsigned_to_nat(1u);
v___x_27_ = lean_nat_to_int(v___x_26_);
return v___x_27_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4(void){
_start:
{
lean_object* v___x_28_; lean_object* v___x_29_; lean_object* v_range_30_; 
v___x_28_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__3);
v___x_29_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__2);
v_range_30_ = lean_int_add(v___x_29_, v___x_28_);
return v_range_30_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5(void){
_start:
{
lean_object* v___x_31_; lean_object* v___x_32_; 
v___x_31_ = lean_obj_once(&l_Std_Time_Millisecond_instOfNatOrdinal___closed__0, &l_Std_Time_Millisecond_instOfNatOrdinal___closed__0_once, _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__0);
v___x_32_ = lean_int_sub(v___x_31_, v___x_31_);
return v___x_32_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6(void){
_start:
{
lean_object* v_range_33_; lean_object* v___x_34_; lean_object* v___x_35_; 
v_range_33_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4);
v___x_34_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__5);
v___x_35_ = lean_int_emod(v___x_34_, v_range_33_);
return v___x_35_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7(void){
_start:
{
lean_object* v_range_36_; lean_object* v___x_37_; lean_object* v___x_38_; 
v_range_36_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4);
v___x_37_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__6);
v___x_38_ = lean_int_add(v___x_37_, v_range_36_);
return v___x_38_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8(void){
_start:
{
lean_object* v_range_39_; lean_object* v___x_40_; lean_object* v___x_41_; 
v_range_39_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__4);
v___x_40_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__7);
v___x_41_ = lean_int_emod(v___x_40_, v_range_39_);
return v___x_41_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9(void){
_start:
{
lean_object* v___x_42_; lean_object* v___x_43_; lean_object* v___x_44_; 
v___x_42_ = lean_obj_once(&l_Std_Time_Millisecond_instOfNatOrdinal___closed__0, &l_Std_Time_Millisecond_instOfNatOrdinal___closed__0_once, _init_l_Std_Time_Millisecond_instOfNatOrdinal___closed__0);
v___x_43_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__8);
v___x_44_ = lean_int_add(v___x_43_, v___x_42_);
return v___x_44_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOrdinal(void){
_start:
{
lean_object* v___x_45_; 
v___x_45_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9, &l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9_once, _init_l_Std_Time_Millisecond_instInhabitedOrdinal___closed__9);
return v___x_45_;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLeOrdinal(lean_object* v_x_46_, lean_object* v_y_47_){
_start:
{
uint8_t v___x_48_; 
v___x_48_ = lean_int_dec_le(v_x_46_, v_y_47_);
return v___x_48_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLeOrdinal___boxed(lean_object* v_x_49_, lean_object* v_y_50_){
_start:
{
uint8_t v_res_51_; lean_object* v_r_52_; 
v_res_51_ = l_Std_Time_Millisecond_instDecidableLeOrdinal(v_x_49_, v_y_50_);
lean_dec(v_y_50_);
lean_dec(v_x_49_);
v_r_52_ = lean_box(v_res_51_);
return v_r_52_;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLtOrdinal(lean_object* v_x_53_, lean_object* v_y_54_){
_start:
{
uint8_t v___x_55_; 
v___x_55_ = lean_int_dec_lt(v_x_53_, v_y_54_);
return v___x_55_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLtOrdinal___boxed(lean_object* v_x_56_, lean_object* v_y_57_){
_start:
{
uint8_t v_res_58_; lean_object* v_r_59_; 
v_res_58_ = l_Std_Time_Millisecond_instDecidableLtOrdinal(v_x_56_, v_y_57_);
lean_dec(v_y_57_);
lean_dec(v_x_56_);
v_r_59_ = lean_box(v_res_58_);
return v_r_59_;
}
}
LEAN_EXPORT lean_object* l_Nat_cast___at___00Nat_cast___at___00Std_Time_Millisecond_instReprOffset_spec__0_spec__0(lean_object* v_a_68_){
_start:
{
lean_object* v___x_69_; 
v___x_69_ = lean_nat_to_int(v_a_68_);
return v___x_69_;
}
}
LEAN_EXPORT lean_object* l_Nat_cast___at___00Std_Time_Millisecond_instReprOffset_spec__0(lean_object* v_a_70_){
_start:
{
lean_object* v___x_71_; lean_object* v___x_72_; 
v___x_71_ = lean_nat_to_int(v_a_70_);
v___x_72_ = l_Rat_ofInt(v___x_71_);
return v___x_72_;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableEqOffset(lean_object* v_a_73_, lean_object* v_b_74_){
_start:
{
uint8_t v___x_75_; 
v___x_75_ = lean_int_dec_eq(v_a_73_, v_b_74_);
return v___x_75_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableEqOffset___boxed(lean_object* v_a_76_, lean_object* v_b_77_){
_start:
{
uint8_t v_res_78_; lean_object* v_r_79_; 
v_res_78_ = l_Std_Time_Millisecond_instDecidableEqOffset(v_a_76_, v_b_77_);
lean_dec(v_b_77_);
lean_dec(v_a_76_);
v_r_79_ = lean_box(v_res_78_);
return v_r_79_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__0(void){
_start:
{
lean_object* v___x_80_; lean_object* v___x_81_; 
v___x_80_ = lean_unsigned_to_nat(1u);
v___x_81_ = l_Nat_cast___at___00Std_Time_Millisecond_instReprOffset_spec__0(v___x_80_);
return v___x_81_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__1(void){
_start:
{
lean_object* v___x_82_; lean_object* v___x_83_; 
v___x_82_ = lean_unsigned_to_nat(1000u);
v___x_83_ = l_Nat_cast___at___00Std_Time_Millisecond_instReprOffset_spec__0(v___x_82_);
return v___x_83_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__2(void){
_start:
{
lean_object* v___x_84_; lean_object* v___x_85_; lean_object* v___x_86_; 
v___x_84_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOffset___closed__1, &l_Std_Time_Millisecond_instInhabitedOffset___closed__1_once, _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__1);
v___x_85_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOffset___closed__0, &l_Std_Time_Millisecond_instInhabitedOffset___closed__0_once, _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__0);
v___x_86_ = l_Rat_div(v___x_85_, v___x_84_);
return v___x_86_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__3(void){
_start:
{
lean_object* v___x_87_; lean_object* v___x_88_; 
v___x_87_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOffset___closed__2, &l_Std_Time_Millisecond_instInhabitedOffset___closed__2_once, _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__2);
v___x_88_ = l_Std_Time_Internal_instInhabitedUnitVal_default(v___x_87_);
return v___x_88_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instInhabitedOffset(void){
_start:
{
lean_object* v___x_89_; 
v___x_89_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOffset___closed__3, &l_Std_Time_Millisecond_instInhabitedOffset___closed__3_once, _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__3);
return v___x_89_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instAddOffset___closed__0(void){
_start:
{
lean_object* v___x_90_; lean_object* v___x_91_; 
v___x_90_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOffset___closed__2, &l_Std_Time_Millisecond_instInhabitedOffset___closed__2_once, _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__2);
v___x_91_ = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_add___boxed), 3, 1);
lean_closure_set(v___x_91_, 0, v___x_90_);
return v___x_91_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instAddOffset(void){
_start:
{
lean_object* v___x_92_; 
v___x_92_ = lean_obj_once(&l_Std_Time_Millisecond_instAddOffset___closed__0, &l_Std_Time_Millisecond_instAddOffset___closed__0_once, _init_l_Std_Time_Millisecond_instAddOffset___closed__0);
return v___x_92_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instSubOffset___closed__0(void){
_start:
{
lean_object* v___x_93_; lean_object* v___x_94_; 
v___x_93_ = lean_obj_once(&l_Std_Time_Millisecond_instInhabitedOffset___closed__2, &l_Std_Time_Millisecond_instInhabitedOffset___closed__2_once, _init_l_Std_Time_Millisecond_instInhabitedOffset___closed__2);
v___x_94_ = lean_alloc_closure((void*)(l_Std_Time_Internal_UnitVal_sub___boxed), 3, 1);
lean_closure_set(v___x_94_, 0, v___x_93_);
return v___x_94_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instSubOffset(void){
_start:
{
lean_object* v___x_95_; 
v___x_95_ = lean_obj_once(&l_Std_Time_Millisecond_instSubOffset___closed__0, &l_Std_Time_Millisecond_instSubOffset___closed__0_once, _init_l_Std_Time_Millisecond_instSubOffset___closed__0);
return v___x_95_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instLEOffset(void){
_start:
{
lean_object* v___x_98_; 
v___x_98_ = lean_box(0);
return v___x_98_;
}
}
static lean_object* _init_l_Std_Time_Millisecond_instLTOffset(void){
_start:
{
lean_object* v___x_99_; 
v___x_99_ = lean_box(0);
return v___x_99_;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLeOffset(lean_object* v_x_102_, lean_object* v_y_103_){
_start:
{
uint8_t v___x_104_; 
v___x_104_ = lean_int_dec_le(v_x_102_, v_y_103_);
return v___x_104_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLeOffset___boxed(lean_object* v_x_105_, lean_object* v_y_106_){
_start:
{
uint8_t v_res_107_; lean_object* v_r_108_; 
v_res_107_ = l_Std_Time_Millisecond_instDecidableLeOffset(v_x_105_, v_y_106_);
lean_dec(v_y_106_);
lean_dec(v_x_105_);
v_r_108_ = lean_box(v_res_107_);
return v_r_108_;
}
}
LEAN_EXPORT uint8_t l_Std_Time_Millisecond_instDecidableLtOffset(lean_object* v_x_109_, lean_object* v_y_110_){
_start:
{
uint8_t v___x_111_; 
v___x_111_ = lean_int_dec_lt(v_x_109_, v_y_110_);
return v___x_111_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instDecidableLtOffset___boxed(lean_object* v_x_112_, lean_object* v_y_113_){
_start:
{
uint8_t v_res_114_; lean_object* v_r_115_; 
v_res_114_ = l_Std_Time_Millisecond_instDecidableLtOffset(v_x_112_, v_y_113_);
lean_dec(v_y_113_);
lean_dec(v_x_112_);
v_r_115_ = lean_box(v_res_114_);
return v_r_115_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_instOfNatOffset(lean_object* v_n_116_){
_start:
{
lean_object* v___x_117_; 
v___x_117_ = lean_nat_to_int(v_n_116_);
return v___x_117_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofNat(lean_object* v_data_120_){
_start:
{
lean_object* v___x_121_; 
v___x_121_ = lean_nat_to_int(v_data_120_);
return v___x_121_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt(lean_object* v_data_122_){
_start:
{
lean_inc(v_data_122_);
return v_data_122_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Offset_ofInt___boxed(lean_object* v_data_123_){
_start:
{
lean_object* v_res_124_; 
v_res_124_ = l_Std_Time_Millisecond_Offset_ofInt(v_data_123_);
lean_dec(v_data_123_);
return v_res_124_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___redArg(lean_object* v_data_125_){
_start:
{
lean_inc(v_data_125_);
return v_data_125_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___redArg___boxed(lean_object* v_data_126_){
_start:
{
lean_object* v_res_127_; 
v_res_127_ = l_Std_Time_Millisecond_Ordinal_ofInt___redArg(v_data_126_);
lean_dec(v_data_126_);
return v_res_127_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt(lean_object* v_data_128_, lean_object* v_h_129_){
_start:
{
lean_inc(v_data_128_);
return v_data_128_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofInt___boxed(lean_object* v_data_130_, lean_object* v_h_131_){
_start:
{
lean_object* v_res_132_; 
v_res_132_ = l_Std_Time_Millisecond_Ordinal_ofInt(v_data_130_, v_h_131_);
lean_dec(v_data_130_);
return v_res_132_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofNat___redArg(lean_object* v_data_133_){
_start:
{
lean_object* v___x_134_; 
v___x_134_ = lean_nat_to_int(v_data_133_);
return v___x_134_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofNat(lean_object* v_data_135_, lean_object* v_h_136_){
_start:
{
lean_object* v___x_137_; 
v___x_137_ = lean_nat_to_int(v_data_135_);
return v___x_137_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_ofFin(lean_object* v_data_138_){
_start:
{
lean_object* v___x_139_; 
v___x_139_ = lean_nat_to_int(v_data_138_);
return v___x_139_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_toOffset(lean_object* v_ordinal_140_){
_start:
{
lean_inc(v_ordinal_140_);
return v_ordinal_140_;
}
}
LEAN_EXPORT lean_object* l_Std_Time_Millisecond_Ordinal_toOffset___boxed(lean_object* v_ordinal_141_){
_start:
{
lean_object* v_res_142_; 
v_res_142_ = l_Std_Time_Millisecond_Ordinal_toOffset(v_ordinal_141_);
lean_dec(v_ordinal_141_);
return v_res_142_;
}
}
lean_object* runtime_initialize_Std_Time_Time_Unit_Nanosecond(uint8_t builtin);
static bool _G_runtime_initialized = false;
LEAN_EXPORT lean_object* runtime_initialize_Std_Time_Time_Unit_Millisecond(uint8_t builtin) {
lean_object * res;
if (_G_runtime_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_runtime_initialized = true;
res = runtime_initialize_Std_Time_Time_Unit_Nanosecond(builtin);
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Std_Time_Millisecond_instLEOrdinal = _init_l_Std_Time_Millisecond_instLEOrdinal();
lean_mark_persistent(l_Std_Time_Millisecond_instLEOrdinal);
l_Std_Time_Millisecond_instLTOrdinal = _init_l_Std_Time_Millisecond_instLTOrdinal();
lean_mark_persistent(l_Std_Time_Millisecond_instLTOrdinal);
l_Std_Time_Millisecond_instInhabitedOrdinal = _init_l_Std_Time_Millisecond_instInhabitedOrdinal();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOrdinal);
l_Std_Time_Millisecond_instInhabitedOffset = _init_l_Std_Time_Millisecond_instInhabitedOffset();
lean_mark_persistent(l_Std_Time_Millisecond_instInhabitedOffset);
l_Std_Time_Millisecond_instAddOffset = _init_l_Std_Time_Millisecond_instAddOffset();
lean_mark_persistent(l_Std_Time_Millisecond_instAddOffset);
l_Std_Time_Millisecond_instSubOffset = _init_l_Std_Time_Millisecond_instSubOffset();
lean_mark_persistent(l_Std_Time_Millisecond_instSubOffset);
l_Std_Time_Millisecond_instLEOffset = _init_l_Std_Time_Millisecond_instLEOffset();
lean_mark_persistent(l_Std_Time_Millisecond_instLEOffset);
l_Std_Time_Millisecond_instLTOffset = _init_l_Std_Time_Millisecond_instLTOffset();
lean_mark_persistent(l_Std_Time_Millisecond_instLTOffset);
return lean_io_result_mk_ok(lean_box(0));
}
static bool _G_meta_initialized = false;
LEAN_EXPORT lean_object* meta_initialize_Std_Time_Time_Unit_Millisecond(uint8_t builtin) {
lean_object * res;
if (_G_meta_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_meta_initialized = true;
return lean_io_result_mk_ok(lean_box(0));
}
lean_object* initialize_Std_Time_Time_Unit_Nanosecond(uint8_t builtin);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Std_Time_Time_Unit_Millisecond(uint8_t builtin) {
lean_object * res;
if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_initialized = true;
res = initialize_Std_Time_Time_Unit_Nanosecond(builtin);
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = runtime_initialize_Std_Time_Time_Unit_Millisecond(builtin);
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = meta_initialize_Std_Time_Time_Unit_Millisecond(builtin);
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
return initialize_Std_Time_Time_Unit_Millisecond(builtin);
}
#ifdef __cplusplus
}
#endif
