Module Hax_engine.Generated_generic_printer_base

type ast_position =
  1. | AstPos_Entrypoint
  2. | AstPos_NotApplicable
  3. | AstPos_arm'__arm_pat
  4. | AstPos_arm'__body
  5. | AstPos_arm'__guard
  6. | AstPos_arm__arm
  7. | AstPos_arm__span
  8. | AstPos_attrs__x0
  9. | AstPos_binding_mode_ByRef_x0
  10. | AstPos_binding_mode_ByRef_x1
  11. | AstPos_borrow_kind_Mut_x0
  12. | AstPos_dyn_trait_goal__non_self_args
  13. | AstPos_dyn_trait_goal__trait
  14. | AstPos_expr'_AddressOf_e
  15. | AstPos_expr'_AddressOf_mut
  16. | AstPos_expr'_AddressOf_witness
  17. | AstPos_expr'_App_args
  18. | AstPos_expr'_App_bounds_impls
  19. | AstPos_expr'_App_f
  20. | AstPos_expr'_App_generic_args
  21. | AstPos_expr'_App_trait
  22. | AstPos_expr'_Array_x0
  23. | AstPos_expr'_Ascription_e
  24. | AstPos_expr'_Ascription_typ
  25. | AstPos_expr'_Assign_e
  26. | AstPos_expr'_Assign_lhs
  27. | AstPos_expr'_Assign_witness
  28. | AstPos_expr'_Block_e
  29. | AstPos_expr'_Block_safety_mode
  30. | AstPos_expr'_Block_witness
  31. | AstPos_expr'_Borrow_e
  32. | AstPos_expr'_Borrow_kind
  33. | AstPos_expr'_Borrow_witness
  34. | AstPos_expr'_Break_acc
  35. | AstPos_expr'_Break_e
  36. | AstPos_expr'_Break_label
  37. | AstPos_expr'_Break_witness
  38. | AstPos_expr'_Closure_body
  39. | AstPos_expr'_Closure_captures
  40. | AstPos_expr'_Closure_params
  41. | AstPos_expr'_Construct_base
  42. | AstPos_expr'_Construct_constructor
  43. | AstPos_expr'_Construct_fields
  44. | AstPos_expr'_Construct_is_record
  45. | AstPos_expr'_Construct_is_struct
  46. | AstPos_expr'_Continue_acc
  47. | AstPos_expr'_Continue_label
  48. | AstPos_expr'_Continue_witness
  49. | AstPos_expr'_EffectAction_action
  50. | AstPos_expr'_EffectAction_argument
  51. | AstPos_expr'_GlobalVar_x0
  52. | AstPos_expr'_If_cond
  53. | AstPos_expr'_If_else_
  54. | AstPos_expr'_If_then_
  55. | AstPos_expr'_Let_body
  56. | AstPos_expr'_Let_lhs
  57. | AstPos_expr'_Let_monadic
  58. | AstPos_expr'_Let_rhs
  59. | AstPos_expr'_Literal_x0
  60. | AstPos_expr'_LocalVar_x0
  61. | AstPos_expr'_Loop_body
  62. | AstPos_expr'_Loop_control_flow
  63. | AstPos_expr'_Loop_kind
  64. | AstPos_expr'_Loop_label
  65. | AstPos_expr'_Loop_state
  66. | AstPos_expr'_Loop_witness
  67. | AstPos_expr'_MacroInvokation_args
  68. | AstPos_expr'_MacroInvokation_macro
  69. | AstPos_expr'_MacroInvokation_witness
  70. | AstPos_expr'_Match_arms
  71. | AstPos_expr'_Match_scrutinee
  72. | AstPos_expr'_QuestionMark_e
  73. | AstPos_expr'_QuestionMark_return_typ
  74. | AstPos_expr'_QuestionMark_witness
  75. | AstPos_expr'_Quote_x0
  76. | AstPos_expr'_Return_e
  77. | AstPos_expr'_Return_witness
  78. | AstPos_expr__e
  79. | AstPos_expr__span
  80. | AstPos_expr__typ
  81. | AstPos_field_pat__field
  82. | AstPos_field_pat__pat
  83. | AstPos_generic_constraint_GCLifetime_x0
  84. | AstPos_generic_constraint_GCLifetime_x1
  85. | AstPos_generic_constraint_GCProjection_x0
  86. | AstPos_generic_constraint_GCType_x0
  87. | AstPos_generic_param__attrs
  88. | AstPos_generic_param__ident
  89. | AstPos_generic_param__kind
  90. | AstPos_generic_param__span
  91. | AstPos_generic_param_kind_GPConst_typ
  92. | AstPos_generic_param_kind_GPLifetime_witness
  93. | AstPos_generic_value_GConst_x0
  94. | AstPos_generic_value_GLifetime_lt
  95. | AstPos_generic_value_GLifetime_witness
  96. | AstPos_generic_value_GType_x0
  97. | AstPos_generics__constraints
  98. | AstPos_generics__params
  99. | AstPos_guard'_IfLet_lhs
  100. | AstPos_guard'_IfLet_rhs
  101. | AstPos_guard'_IfLet_witness
  102. | AstPos_guard__guard
  103. | AstPos_guard__span
  104. | AstPos_impl_expr__goal
  105. | AstPos_impl_expr__kind
  106. | AstPos_impl_expr_kind_Builtin_x0
  107. | AstPos_impl_expr_kind_Concrete_x0
  108. | AstPos_impl_expr_kind_ImplApp_args
  109. | AstPos_impl_expr_kind_ImplApp_impl
  110. | AstPos_impl_expr_kind_LocalBound_id
  111. | AstPos_impl_expr_kind_Parent_ident
  112. | AstPos_impl_expr_kind_Parent_impl
  113. | AstPos_impl_expr_kind_Projection_ident
  114. | AstPos_impl_expr_kind_Projection_impl
  115. | AstPos_impl_expr_kind_Projection_item
  116. | AstPos_impl_ident__goal
  117. | AstPos_impl_ident__name
  118. | AstPos_impl_item'_IIFn_body
  119. | AstPos_impl_item'_IIFn_params
  120. | AstPos_impl_item'_IIType_parent_bounds
  121. | AstPos_impl_item'_IIType_typ
  122. | AstPos_impl_item__ii_attrs
  123. | AstPos_impl_item__ii_generics
  124. | AstPos_impl_item__ii_ident
  125. | AstPos_impl_item__ii_span
  126. | AstPos_impl_item__ii_v
  127. | AstPos_item'_Alias_item
  128. | AstPos_item'_Alias_name
  129. | AstPos_item'_Fn_body
  130. | AstPos_item'_Fn_generics
  131. | AstPos_item'_Fn_name
  132. | AstPos_item'_Fn_params
  133. | AstPos_item'_Fn_safety
  134. | AstPos_item'_HaxError_x0
  135. | AstPos_item'_IMacroInvokation_argument
  136. | AstPos_item'_IMacroInvokation_macro
  137. | AstPos_item'_IMacroInvokation_span
  138. | AstPos_item'_IMacroInvokation_witness
  139. | AstPos_item'_Impl_generics
  140. | AstPos_item'_Impl_items
  141. | AstPos_item'_Impl_of_trait
  142. | AstPos_item'_Impl_parent_bounds
  143. | AstPos_item'_Impl_safety
  144. | AstPos_item'_Impl_self_ty
  145. | AstPos_item'_Quote_origin
  146. | AstPos_item'_Quote_quote
  147. | AstPos_item'_Trait_generics
  148. | AstPos_item'_Trait_items
  149. | AstPos_item'_Trait_name
  150. | AstPos_item'_Trait_safety
  151. | AstPos_item'_TyAlias_generics
  152. | AstPos_item'_TyAlias_name
  153. | AstPos_item'_TyAlias_ty
  154. | AstPos_item'_Type_generics
  155. | AstPos_item'_Type_is_struct
  156. | AstPos_item'_Type_name
  157. | AstPos_item'_Type_variants
  158. | AstPos_item'_Use_is_external
  159. | AstPos_item'_Use_path
  160. | AstPos_item'_Use_rename
  161. | AstPos_item__attrs
  162. | AstPos_item__ident
  163. | AstPos_item__span
  164. | AstPos_item__v
  165. | AstPos_lhs_LhsArbitraryExpr_e
  166. | AstPos_lhs_LhsArbitraryExpr_witness
  167. | AstPos_lhs_LhsArrayAccessor_e
  168. | AstPos_lhs_LhsArrayAccessor_index
  169. | AstPos_lhs_LhsArrayAccessor_typ
  170. | AstPos_lhs_LhsArrayAccessor_witness
  171. | AstPos_lhs_LhsFieldAccessor_e
  172. | AstPos_lhs_LhsFieldAccessor_field
  173. | AstPos_lhs_LhsFieldAccessor_typ
  174. | AstPos_lhs_LhsFieldAccessor_witness
  175. | AstPos_lhs_LhsLocalVar_typ
  176. | AstPos_lhs_LhsLocalVar_var
  177. | AstPos_literal_Bool_x0
  178. | AstPos_literal_Char_x0
  179. | AstPos_literal_Float_kind
  180. | AstPos_literal_Float_negative
  181. | AstPos_literal_Float_value
  182. | AstPos_literal_Int_kind
  183. | AstPos_literal_Int_negative
  184. | AstPos_literal_Int_value
  185. | AstPos_literal_String_x0
  186. | AstPos_loop_kind_ForIndexLoop_end_
  187. | AstPos_loop_kind_ForIndexLoop_start
  188. | AstPos_loop_kind_ForIndexLoop_var
  189. | AstPos_loop_kind_ForIndexLoop_var_typ
  190. | AstPos_loop_kind_ForIndexLoop_witness
  191. | AstPos_loop_kind_ForLoop_it
  192. | AstPos_loop_kind_ForLoop_pat
  193. | AstPos_loop_kind_ForLoop_witness
  194. | AstPos_loop_kind_WhileLoop_condition
  195. | AstPos_loop_kind_WhileLoop_witness
  196. | AstPos_loop_state__bpat
  197. | AstPos_loop_state__init
  198. | AstPos_loop_state__witness
  199. | AstPos_modul__x0
  200. | AstPos_param__attrs
  201. | AstPos_param__pat
  202. | AstPos_param__typ
  203. | AstPos_param__typ_span
  204. | AstPos_pat'_PArray_args
  205. | AstPos_pat'_PAscription_pat
  206. | AstPos_pat'_PAscription_typ
  207. | AstPos_pat'_PAscription_typ_span
  208. | AstPos_pat'_PBinding_mode
  209. | AstPos_pat'_PBinding_mut
  210. | AstPos_pat'_PBinding_subpat
  211. | AstPos_pat'_PBinding_typ
  212. | AstPos_pat'_PBinding_var
  213. | AstPos_pat'_PConstant_lit
  214. | AstPos_pat'_PConstruct_constructor
  215. | AstPos_pat'_PConstruct_fields
  216. | AstPos_pat'_PConstruct_is_record
  217. | AstPos_pat'_PConstruct_is_struct
  218. | AstPos_pat'_PDeref_subpat
  219. | AstPos_pat'_PDeref_witness
  220. | AstPos_pat'_POr_subpats
  221. | AstPos_pat__p
  222. | AstPos_pat__span
  223. | AstPos_pat__typ
  224. | AstPos_projection_predicate__assoc_item
  225. | AstPos_projection_predicate__impl
  226. | AstPos_projection_predicate__typ
  227. | AstPos_safety_kind_Unsafe_x0
  228. | AstPos_supported_monads_MException_x0
  229. | AstPos_supported_monads_MResult_x0
  230. | AstPos_trait_goal__args
  231. | AstPos_trait_goal__trait
  232. | AstPos_trait_item'_TIDefault_body
  233. | AstPos_trait_item'_TIDefault_params
  234. | AstPos_trait_item'_TIDefault_witness
  235. | AstPos_trait_item'_TIFn_x0
  236. | AstPos_trait_item'_TIType_x0
  237. | AstPos_trait_item__ti_attrs
  238. | AstPos_trait_item__ti_generics
  239. | AstPos_trait_item__ti_ident
  240. | AstPos_trait_item__ti_span
  241. | AstPos_trait_item__ti_v
  242. | AstPos_ty_TApp_args
  243. | AstPos_ty_TApp_ident
  244. | AstPos_ty_TArray_length
  245. | AstPos_ty_TArray_typ
  246. | AstPos_ty_TArrow_x0
  247. | AstPos_ty_TArrow_x1
  248. | AstPos_ty_TAssociatedType_impl
  249. | AstPos_ty_TAssociatedType_item
  250. | AstPos_ty_TDyn_goals
  251. | AstPos_ty_TDyn_witness
  252. | AstPos_ty_TFloat_x0
  253. | AstPos_ty_TInt_x0
  254. | AstPos_ty_TOpaque_x0
  255. | AstPos_ty_TParam_x0
  256. | AstPos_ty_TRawPointer_witness
  257. | AstPos_ty_TRef_mut
  258. | AstPos_ty_TRef_region
  259. | AstPos_ty_TRef_typ
  260. | AstPos_ty_TRef_witness
  261. | AstPos_ty_TSlice_ty
  262. | AstPos_ty_TSlice_witness
  263. | AstPos_variant__arguments
  264. | AstPos_variant__attrs
  265. | AstPos_variant__is_record
  266. | AstPos_variant__name
  267. | AstPosition_Quote
module LazyDoc : sig ... end
module Make (F : Features.T) : sig ... end