text: // Lean compiler output
  // Module: Lean.PrettyPrinter.Delaborator.Options
  // Imports: Init Lean.Data.Options
  #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_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__1;
  LEAN_EXPORT lean_object* l_Lean_pp_letVarTypes;
  LEAN_EXPORT lean_object* l_Lean_pp_instances;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__3;
  LEAN_EXPORT lean_object* l_Lean_getPPLetVarTypes___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__2;
  LEAN_EXPORT uint8_t l_Lean_getPPInstances(lean_object*);
  LEAN_EXPORT uint8_t l_Lean_getPPLetVarTypes(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_motives_all;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__2;
  lean_object* lean_name_mk_string(lean_object*, lean_object*);
  LEAN_EXPORT uint8_t l_Lean_getPPCoercions(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__4;
  LEAN_EXPORT uint8_t l_Lean_getPPExplicit(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPNotation___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6_(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38_(lean_object*);
  lean_object* lean_string_append(lean_object*, lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__2;
  LEAN_EXPORT uint8_t l_Lean_getPPStructureProjections(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__6;
  LEAN_EXPORT uint8_t l_Lean_getPPSafeShadowing(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPFullNames___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_instanceTypes;
  LEAN_EXPORT lean_object* l_Lean_getPPMotivesNonConst___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__4;
  LEAN_EXPORT lean_object* l_Lean_pp_proofs;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__8;
  LEAN_EXPORT uint8_t l_Lean_getPPUniverses(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__1;
  LEAN_EXPORT uint8_t l_Lean_getPPFullNames(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__1;
  LEAN_EXPORT lean_object* l_Lean_pp_notation;
  LEAN_EXPORT lean_object* l_Lean_pp_all;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__1;
  LEAN_EXPORT uint8_t l_Lean_getPPProofsWithType(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(lean_object*, lean_object*, lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__2;
  LEAN_EXPORT uint8_t l_Lean_getPPFunBinderTypes(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__3;
  LEAN_EXPORT lean_object* l_Lean_pp_proofs_withType;
  LEAN_EXPORT lean_object* l_Lean_pp_structureProjections;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__3;
  LEAN_EXPORT lean_object* l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1___boxed(lean_object*, lean_object*, lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__2;
  LEAN_EXPORT lean_object* l_Lean_getPPProofs___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__1;
  LEAN_EXPORT uint8_t l_Lean_getPPTagAppFns(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPFunBinderTypes___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPInstantiateMVars___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__4;
  LEAN_EXPORT lean_object* l_Lean_getPPProofsWithType___boxed(lean_object*);
  LEAN_EXPORT uint8_t l_Lean_getPPStructureInstanceType(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__5;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__1;
  LEAN_EXPORT lean_object* l_Lean_pp_motives_pi;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__2;
  LEAN_EXPORT uint8_t l_Lean_getPPPrivateNames(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__4;
  LEAN_EXPORT uint8_t l_Lean_getPPStructureInstances(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__4;
  LEAN_EXPORT uint8_t l_Lean_getPPInstanceTypes(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_structureInstances;
  LEAN_EXPORT lean_object* l_Lean_pp_piBinderTypes;
  LEAN_EXPORT uint8_t l_Lean_getPPMatch(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPMotivesAll___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_explicit;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__1;
  LEAN_EXPORT lean_object* l_Lean_getPPCoercions___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__6;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__4;
  LEAN_EXPORT lean_object* l_Lean_pp_funBinderTypes;
  LEAN_EXPORT uint8_t l_Lean_getPPNotation(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_instantiateMVars;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__3;
  LEAN_EXPORT lean_object* l_Lean_getPPStructureInstanceType___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__1;
  LEAN_EXPORT lean_object* l_Lean_pp_tagAppFns;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__1;
  LEAN_EXPORT lean_object* l_Lean_pp_coercions;
  LEAN_EXPORT lean_object* l_Lean_pp_fullNames;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__2;
  LEAN_EXPORT lean_object* l_Lean_pp_match;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__1;
  LEAN_EXPORT lean_object* l_Lean_getPPTagAppFns___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__2;
  LEAN_EXPORT lean_object* l_Lean_getPPInstanceTypes___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_privateNames;
  LEAN_EXPORT uint8_t l_Lean_getPPMotivesAll(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__3;
  LEAN_EXPORT lean_object* l_Lean_getPPMatch___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPAll___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__1;
  lean_object* lean_register_option(lean_object*, lean_object*, lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__2;
  LEAN_EXPORT lean_object* l_Lean_getPPSafeShadowing___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPStructureInstances___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPUniverses___boxed(lean_object*);
  LEAN_EXPORT uint8_t l_Lean_getPPProofs(lean_object*);
  LEAN_EXPORT uint8_t l_Lean_getPPInstantiateMVars(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_getPPExplicit___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_pp_structureInstanceTypes;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__3;
  LEAN_EXPORT lean_object* l_Lean_getPPInstances___boxed(lean_object*);
  lean_object* l_Lean_KVMap_findCore(lean_object*, lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__5;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__1;
  LEAN_EXPORT lean_object* l_Lean_getPPMotivesPi___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__5;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__4;
  LEAN_EXPORT lean_object* l_Lean_pp_motives_nonConst;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__1;
  LEAN_EXPORT uint8_t l_Lean_getPPMotivesNonConst(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__3;
  LEAN_EXPORT lean_object* l_Lean_pp_universes;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__4;
  LEAN_EXPORT lean_object* l_Lean_pp_safeShadowing;
  LEAN_EXPORT uint8_t l_Lean_getPPMotivesPi(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__2;
  LEAN_EXPORT uint8_t l_Lean_getPPAll(lean_object*);
  LEAN_EXPORT uint8_t l_Lean_getPPPiBinderTypes(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__2;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__6;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__1;
  LEAN_EXPORT lean_object* l_Lean_getPPPrivateNames___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__7;
  LEAN_EXPORT lean_object* l_Lean_getPPStructureProjections___boxed(lean_object*);
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__4;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__1;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__3;
  static lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__4;
  LEAN_EXPORT lean_object* l_Lean_getPPPiBinderTypes___boxed(lean_object*);
  LEAN_EXPORT lean_object* l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
  _start:
  {
  lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; lean_object* x_9; lean_object* x_10; 
  x_4 = lean_ctor_get(x_2, 0);
  x_5 = lean_ctor_get(x_2, 1);
  x_6 = lean_ctor_get(x_2, 2);
  x_7 = lean_alloc_ctor(1, 0, 1);
  x_8 = lean_unbox(x_4);
  lean_ctor_set_uint8(x_7, 0, x_8);
  lean_inc(x_6);
  lean_inc(x_5);
  x_9 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_9, 0, x_7);
  lean_ctor_set(x_9, 1, x_5);
  lean_ctor_set(x_9, 2, x_6);
  lean_inc(x_1);
  x_10 = lean_register_option(x_1, x_9, x_3);
  if (lean_obj_tag(x_10) == 0)
  {
  uint8_t x_11; 
  x_11 = !lean_is_exclusive(x_10);
  if (x_11 == 0)
  {
  lean_object* x_12; lean_object* x_13; 
  x_12 = lean_ctor_get(x_10, 0);
  lean_dec(x_12);
  lean_inc(x_4);
  x_13 = lean_alloc_ctor(0, 2, 0);
  lean_ctor_set(x_13, 0, x_1);
  lean_ctor_set(x_13, 1, x_4);
  lean_ctor_set(x_10, 0, x_13);
  return x_10;
  }
  else
  {
  lean_object* x_14; lean_object* x_15; lean_object* x_16; 
  x_14 = lean_ctor_get(x_10, 1);
  lean_inc(x_14);
  lean_dec(x_10);
  lean_inc(x_4);
  x_15 = lean_alloc_ctor(0, 2, 0);
  lean_ctor_set(x_15, 0, x_1);
  lean_ctor_set(x_15, 1, x_4);
  x_16 = lean_alloc_ctor(0, 2, 0);
  lean_ctor_set(x_16, 0, x_15);
  lean_ctor_set(x_16, 1, x_14);
  return x_16;
  }
  }
  else
  {
  uint8_t x_17; 
  lean_dec(x_1);
  x_17 = !lean_is_exclusive(x_10);
  if (x_17 == 0)
  {
  return x_10;
  }
  else
  {
  lean_object* x_18; lean_object* x_19; lean_object* x_20; 
  x_18 = lean_ctor_get(x_10, 0);
  x_19 = lean_ctor_get(x_10, 1);
  lean_inc(x_19);
  lean_inc(x_18);
  lean_dec(x_10);
  x_20 = lean_alloc_ctor(1, 2, 0);
  lean_ctor_set(x_20, 0, x_18);
  lean_ctor_set(x_20, 1, x_19);
  return x_20;
  }
  }
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("pp");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = lean_box(0);
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("all");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__4() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__5() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display coercions, implicit parameters, proof terms, fully qualified names, universe, ");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__6() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("and disable beta reduction and notations during pretty printing");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__7() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__5;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__6;
  x_3 = lean_string_append(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__8() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__7;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__4;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__8;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
  _start:
  {
  lean_object* x_4; 
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_1, x_2, x_3);
  lean_dec(x_2);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("notation");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) disable/enable notation (infix, mixfix, postfix operators and unicode characters)");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("match");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) disable/enable 'match' notation");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("coercions");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) hide coercion applications");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("universes");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display universe");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("fullNames");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display fully qualified names");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("privateNames");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display internal names assigned to private declarations");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("funBinderTypes");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display types of lambda parameters");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("piBinderTypes");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display types of pi parameters");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("letVarTypes");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display types of let-bound variables");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("instantiateMVars");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) instantiate mvars before delaborating");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("structureInstances");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display structure instances using the '{ fieldName := fieldValue, ... }' notation ");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__4() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("or '⟨fieldValue, ... ⟩' if structure is tagged with [pp_using_anonymous_constructor] attribute");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__5() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__3;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__4;
  x_3 = lean_string_append(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__6() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__5;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__6;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("structureProjections");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display structure projections using field notation");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("explicit");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display implicit arguments");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("structureInstanceTypes");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) display type of structure instances");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("safeShadowing");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) allow variable shadowing if there is no collision");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("tagAppFns");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) tag all constants that are the function in a function application");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("proofs");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) if set to false, replace proofs appearing as an argument to a function with a placeholder");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("withType");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) when eliding a proof (see `pp.proofs`), show its type instead");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("instances");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) if set to false, replace inst-implicit arguments to explicit applications with placeholders");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("instanceTypes");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) when printing explicit applications, show the types of inst-implicit arguments");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("motives");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("pi");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__4() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__3;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__5() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) print all motives that return pi types");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__6() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 1;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__5;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__4;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__6;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__1() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("nonConst");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__2() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__1;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__3() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) print all motives that are not constant functions");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__4() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__3;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__2;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__4;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__1() {
  _start:
  {
  lean_object* x_1; lean_object* x_2; lean_object* x_3; 
  x_1 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3;
  x_3 = lean_name_mk_string(x_1, x_2);
  return x_3;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__2() {
  _start:
  {
  lean_object* x_1; 
  x_1 = lean_mk_string("(pretty printer) print all motives");
  return x_1;
  }
  }
  static lean_object* _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__3() {
  _start:
  {
  uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_1 = 0;
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__2;
  x_4 = lean_box(x_1);
  x_5 = lean_alloc_ctor(0, 3, 0);
  lean_ctor_set(x_5, 0, x_4);
  lean_ctor_set(x_5, 1, x_2);
  lean_ctor_set(x_5, 2, x_3);
  return x_5;
  }
  }
  LEAN_EXPORT lean_object* l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658_(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__1;
  x_3 = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__3;
  x_4 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____spec__1(x_2, x_3, x_1);
  return x_4;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPAll(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; 
  x_2 = l_Lean_pp_all;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_4) == 0)
  {
  uint8_t x_5; 
  x_5 = 0;
  return x_5;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_4, 0);
  lean_inc(x_6);
  lean_dec(x_4);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  uint8_t x_8; 
  lean_dec(x_6);
  x_8 = 0;
  return x_8;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPAll___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPAll(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPFunBinderTypes(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_funBinderTypes;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPFunBinderTypes___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPFunBinderTypes(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPPiBinderTypes(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_piBinderTypes;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPPiBinderTypes___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPPiBinderTypes(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPLetVarTypes(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_letVarTypes;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPLetVarTypes___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPLetVarTypes(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPCoercions(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_coercions;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (x_4 == 0)
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = 1;
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = 1;
  return x_9;
  }
  }
  }
  else
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_10; 
  x_10 = 0;
  return x_10;
  }
  else
  {
  lean_object* x_11; 
  x_11 = lean_ctor_get(x_5, 0);
  lean_inc(x_11);
  lean_dec(x_5);
  if (lean_obj_tag(x_11) == 1)
  {
  uint8_t x_12; 
  x_12 = lean_ctor_get_uint8(x_11, 0);
  lean_dec(x_11);
  return x_12;
  }
  else
  {
  uint8_t x_13; 
  lean_dec(x_11);
  x_13 = 0;
  return x_13;
  }
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPCoercions___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPCoercions(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPExplicit(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_explicit;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPExplicit___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPExplicit(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPNotation(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_notation;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (x_4 == 0)
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = 1;
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = 1;
  return x_9;
  }
  }
  }
  else
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_10; 
  x_10 = 0;
  return x_10;
  }
  else
  {
  lean_object* x_11; 
  x_11 = lean_ctor_get(x_5, 0);
  lean_inc(x_11);
  lean_dec(x_5);
  if (lean_obj_tag(x_11) == 1)
  {
  uint8_t x_12; 
  x_12 = lean_ctor_get_uint8(x_11, 0);
  lean_dec(x_11);
  return x_12;
  }
  else
  {
  uint8_t x_13; 
  lean_dec(x_11);
  x_13 = 0;
  return x_13;
  }
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPNotation___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPNotation(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPMatch(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_match;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (x_4 == 0)
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = 1;
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = 1;
  return x_9;
  }
  }
  }
  else
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_10; 
  x_10 = 0;
  return x_10;
  }
  else
  {
  lean_object* x_11; 
  x_11 = lean_ctor_get(x_5, 0);
  lean_inc(x_11);
  lean_dec(x_5);
  if (lean_obj_tag(x_11) == 1)
  {
  uint8_t x_12; 
  x_12 = lean_ctor_get_uint8(x_11, 0);
  lean_dec(x_11);
  return x_12;
  }
  else
  {
  uint8_t x_13; 
  lean_dec(x_11);
  x_13 = 0;
  return x_13;
  }
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPMatch___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPMatch(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPStructureProjections(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_structureProjections;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (x_4 == 0)
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = 1;
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = 1;
  return x_9;
  }
  }
  }
  else
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_10; 
  x_10 = 0;
  return x_10;
  }
  else
  {
  lean_object* x_11; 
  x_11 = lean_ctor_get(x_5, 0);
  lean_inc(x_11);
  lean_dec(x_5);
  if (lean_obj_tag(x_11) == 1)
  {
  uint8_t x_12; 
  x_12 = lean_ctor_get_uint8(x_11, 0);
  lean_dec(x_11);
  return x_12;
  }
  else
  {
  uint8_t x_13; 
  lean_dec(x_11);
  x_13 = 0;
  return x_13;
  }
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPStructureProjections___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPStructureProjections(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPStructureInstances(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_structureInstances;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (x_4 == 0)
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = 1;
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = 1;
  return x_9;
  }
  }
  }
  else
  {
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_10; 
  x_10 = 0;
  return x_10;
  }
  else
  {
  lean_object* x_11; 
  x_11 = lean_ctor_get(x_5, 0);
  lean_inc(x_11);
  lean_dec(x_5);
  if (lean_obj_tag(x_11) == 1)
  {
  uint8_t x_12; 
  x_12 = lean_ctor_get_uint8(x_11, 0);
  lean_dec(x_11);
  return x_12;
  }
  else
  {
  uint8_t x_13; 
  lean_dec(x_11);
  x_13 = 0;
  return x_13;
  }
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPStructureInstances___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPStructureInstances(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPStructureInstanceType(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_structureInstanceTypes;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPStructureInstanceType___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPStructureInstanceType(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPTagAppFns(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_tagAppFns;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPTagAppFns___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPTagAppFns(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPUniverses(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_universes;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPUniverses___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPUniverses(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPFullNames(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_fullNames;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPFullNames___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPFullNames(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPPrivateNames(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_privateNames;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPPrivateNames___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPPrivateNames(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPInstantiateMVars(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_instantiateMVars;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPInstantiateMVars___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPInstantiateMVars(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPSafeShadowing(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_safeShadowing;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPSafeShadowing___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPSafeShadowing(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPProofs(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_proofs;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = l_Lean_getPPAll(x_1);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  return x_4;
  }
  else
  {
  lean_object* x_6; 
  x_6 = lean_ctor_get(x_5, 0);
  lean_inc(x_6);
  lean_dec(x_5);
  if (lean_obj_tag(x_6) == 1)
  {
  uint8_t x_7; 
  x_7 = lean_ctor_get_uint8(x_6, 0);
  lean_dec(x_6);
  return x_7;
  }
  else
  {
  lean_dec(x_6);
  return x_4;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPProofs___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPProofs(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPProofsWithType(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_proofs_withType;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPProofsWithType___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPProofsWithType(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPMotivesPi(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_motives_pi;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPMotivesPi___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPMotivesPi(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPMotivesNonConst(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_motives_nonConst;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPMotivesNonConst___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPMotivesNonConst(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPMotivesAll(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_motives_all;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPMotivesAll___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPMotivesAll(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPInstances(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_instances;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPInstances___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPInstances(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  LEAN_EXPORT uint8_t l_Lean_getPPInstanceTypes(lean_object* x_1) {
  _start:
  {
  lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
  x_2 = l_Lean_pp_instanceTypes;
  x_3 = lean_ctor_get(x_2, 0);
  lean_inc(x_3);
  x_4 = lean_ctor_get(x_2, 1);
  lean_inc(x_4);
  x_5 = l_Lean_KVMap_findCore(x_1, x_3);
  lean_dec(x_3);
  if (lean_obj_tag(x_5) == 0)
  {
  uint8_t x_6; 
  x_6 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_6;
  }
  else
  {
  lean_object* x_7; 
  x_7 = lean_ctor_get(x_5, 0);
  lean_inc(x_7);
  lean_dec(x_5);
  if (lean_obj_tag(x_7) == 1)
  {
  uint8_t x_8; 
  lean_dec(x_4);
  x_8 = lean_ctor_get_uint8(x_7, 0);
  lean_dec(x_7);
  return x_8;
  }
  else
  {
  uint8_t x_9; 
  lean_dec(x_7);
  x_9 = lean_unbox(x_4);
  lean_dec(x_4);
  return x_9;
  }
  }
  }
  }
  LEAN_EXPORT lean_object* l_Lean_getPPInstanceTypes___boxed(lean_object* x_1) {
  _start:
  {
  uint8_t x_2; lean_object* x_3; 
  x_2 = l_Lean_getPPInstanceTypes(x_1);
  lean_dec(x_1);
  x_3 = lean_box(x_2);
  return x_3;
  }
  }
  lean_object* initialize_Init(lean_object*);
  lean_object* initialize_Lean_Data_Options(lean_object*);
  static bool _G_initialized = false;
  LEAN_EXPORT lean_object* initialize_Lean_PrettyPrinter_Delaborator_Options(lean_object* w) {
  lean_object * res;
  if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
  _G_initialized = true;
  res = initialize_Init(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  lean_dec_ref(res);
  res = initialize_Lean_Data_Options(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__4);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__5 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__5();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__5);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__6 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__6();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__6);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__7 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__7();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__7);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__8 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__8();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6____closed__8);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_6_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_all = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_all);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_38_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_notation = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_notation);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_66_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_match = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_match);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_94_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_coercions = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_coercions);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_122_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_universes = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_universes);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_150_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_fullNames = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_fullNames);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_178_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_privateNames = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_privateNames);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_206_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_funBinderTypes = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_funBinderTypes);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_234_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_piBinderTypes = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_piBinderTypes);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_262_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_letVarTypes = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_letVarTypes);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_290_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_instantiateMVars = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_instantiateMVars);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__4);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__5 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__5();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__5);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__6 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__6();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318____closed__6);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_318_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_structureInstances = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_structureInstances);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_350_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_structureProjections = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_structureProjections);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_378_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_explicit = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_explicit);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_406_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_structureInstanceTypes = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_structureInstanceTypes);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_434_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_safeShadowing = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_safeShadowing);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_462_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_tagAppFns = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_tagAppFns);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_490_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_proofs = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_proofs);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_518_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_proofs_withType = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_proofs_withType);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_546_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_instances = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_instances);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_574_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_instanceTypes = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_instanceTypes);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__4);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__5 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__5();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__5);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__6 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__6();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602____closed__6);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_602_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_motives_pi = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_motives_pi);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__3);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__4 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__4();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630____closed__4);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_630_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_motives_nonConst = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_motives_nonConst);
  lean_dec_ref(res);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__1 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__1();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__1);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__2 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__2();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__2);
  l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__3 = _init_l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__3();
  lean_mark_persistent(l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658____closed__3);
  res = l_Lean_initFn____x40_Lean_PrettyPrinter_Delaborator_Options___hyg_658_(lean_io_mk_world());
  if (lean_io_result_is_error(res)) return res;
  l_Lean_pp_motives_all = lean_io_result_get_value(res);
  lean_mark_persistent(l_Lean_pp_motives_all);
  lean_dec_ref(res);
  return lean_io_result_mk_ok(lean_box(0));
  }
  #ifdef __cplusplus
  }
  #endif
  