Module Hax_engine.Concrete_ident_generated

type t =
  1. | Alloc__slice__Impl_2
  2. | Core__fmt__Arguments
  3. | Core__result__Impl_27
  4. | Core__cmp__PartialOrd__le__'_
  5. | Core__slice
  6. | Core__result__Impl_26__E
  7. | Core__ops__index__IndexMut
  8. | Rust_primitives__dummy_hax_concrete_ident_wrapper__iterator_functions
  9. | Rust_primitives__hax__int__into_machine
  10. | Core__clone
  11. | Hax_lib_protocol__crypto__HMACAlgorithm
  12. | Rust_primitives__hax__control_flow_monad__ControlFlowMonad__lift
  13. | Core__ops__index__Index
  14. | Core__ops__bit__Shr__shr
  15. | Core__ops__bit__BitXor__Output
  16. | Hax_lib_protocol__crypto__Impl__from_bytes__'_
  17. | Core__panicking__assert_failed__'__2
  18. | Core__option__Impl__T
  19. | Core__slice__Impl__chunks_exact__'_
  20. | Core__panicking__assert_failed__'__1
  21. | Core__ops__try_trait__FromResidual
  22. | Core__convert__Impl_3__T
  23. | Core__convert__Impl_3
  24. | Std__prelude
  25. | Core__slice__Impl__T
  26. | Hax_lib_protocol__crypto__HashAlgorithm
  27. | Rust_primitives__hax
  28. | Alloc__boxed__Impl__new
  29. | Alloc__vec__Impl_1__T
  30. | Rust_primitives__u128__sub
  31. | Core__ops__deref__Deref__deref
  32. | Core__result__Impl_26__T
  33. | Hax_lib
  34. | Core__iter__traits__collect__IntoIterator__IntoIter
  35. | Hax_lib__int__Abstraction
  36. | Hax_lib_protocol__crypto__AEADAlgorithm__Chacha20Poly1305
  37. | Core__clone__impls
  38. | Hax_lib_protocol__crypto__aead_decrypt
  39. | Core__ops__arith__Neg__Output
  40. | Core__ops__deref__DerefMut
  41. | Hax_lib__int__Impl_5___unsafe_from_str
  42. | Rust_primitives__hax__never_to_any
  43. | Rust_primitives__hax__folds__fold_range_step_by_return
  44. | Hax_lib_protocol__crypto__Impl_1__from_bytes
  45. | Core__ptr__const_ptr
  46. | Core__ops__arith__Mul
  47. | Core__ops__bit__BitAnd__bitand
  48. | Hax_lib_protocol__crypto__aead_encrypt
  49. | Core__ops__range__RangeFull
  50. | Rust_primitives__hax__while_loop_return
  51. | Hax_lib_protocol__crypto__AEADAlgorithm
  52. | Hax_lib__RefineAs__into_checked
  53. | Core__macros
  54. | Rust_primitives__hax__monomorphized_update_at__update_at_range_to
  55. | Rust_primitives__hax__control_flow_monad__mexception__run
  56. | Core__ops__range__Range__start
  57. | Rust_primitives__hax__int
  58. | Core__result__Impl__E
  59. | Core__ops__try_trait__FromResidual__from_residual
  60. | Rust_primitives__hax__folds__fold_enumerated_slice_cf
  61. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Closure
  62. | Hax_lib_protocol__crypto
  63. | Rust_primitives__hax__int__gt
  64. | Core__cmp__PartialOrd__ge
  65. | Core__option__Option__None
  66. | Core__borrow
  67. | Rust_primitives__u128__bit_xor
  68. | Core__slice__index__Impl_4__T
  69. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Use_2
  70. | Core__cmp__PartialOrd__le__'__1
  71. | Rust_primitives__u128__gt
  72. | Core__option__Impl__is_some
  73. | Rust_primitives__hax__monomorphized_update_at__update_at_usize
  74. | Core__fmt
  75. | Rust_primitives__u128__shl
  76. | Alloc__boxed
  77. | Rust_primitives__hax__folds
  78. | Rust_primitives__Use
  79. | Rust_primitives__u128__bit_or
  80. | Rust_primitives__dummy_hax_concrete_ident_wrapper__refinements__T
  81. | Rust_primitives__hax__int__div
  82. | Rust_primitives__hax__control_flow_monad__moption__run
  83. | Core__ops__deref__Deref
  84. | Core__ops__arith__Div
  85. | Core__borrow__Impl_2__'_
  86. | Hax_lib_protocol__crypto__HashAlgorithm__Sha256
  87. | Alloc__vec__Vec
  88. | Core__alloc__Allocator
  89. | Core__panicking__AssertKind__Eq
  90. | Core__array__iter__Impl__T
  91. | Rust_primitives__u128__mul
  92. | Rust_primitives__hax__folds__fold_range_step_by_cf
  93. | Rust_primitives__hax__int__lt
  94. | Core__marker__Sized
  95. | Hax_lib_protocol__crypto__Impl_6__from_bytes
  96. | Rust_primitives__hax__control_flow_monad
  97. | Alloc__slice__Impl__concat__'_
  98. | Rust_primitives__u128__ge
  99. | Core__cmp__PartialOrd__ge__'__1
  100. | Core__iter__traits__iterator
  101. | Alloc__vec__Impl_2__extend_from_slice
  102. | Alloc__slice
  103. | Rust_primitives__offset
  104. | Core__option__Impl__is_some__'_
  105. | Alloc__boxed__Impl__T
  106. | Core
  107. | Rust_primitives__hax__dropped_body
  108. | Alloc__vec__Impl_14__A
  109. | Hax_lib_protocol__crypto__AEADIV
  110. | Core__ops__bit__BitXor
  111. | Core__convert__Impl_3__U
  112. | Rust_primitives__hax__array_of_list
  113. | Hax_lib__int__Impl_5__pow2
  114. | Rust_primitives__hax__int__mul
  115. | Core__array
  116. | Hax_lib_protocol__crypto__AEADTag
  117. | Rust_primitives__u128__lt
  118. | Core__result__Impl_27__T
  119. | Core__clone__Clone
  120. | Hax_lib_protocol__crypto__Impl_5__from_bytes
  121. | Hax_lib_protocol__crypto__dh_scalar_multiply_base
  122. | Rust_primitives__dummy_hax_concrete_ident_wrapper____1__f
  123. | Core__clone__impls__Impl_6
  124. | Alloc__slice__Impl__concat
  125. | Core__convert__Into__into
  126. | Alloc__vec
  127. | Core__cmp
  128. | Core__ops__arith__Mul__Output
  129. | Core__ops__try_trait__Try__from_output
  130. | Alloc__vec__Impl_14__I
  131. | Rust_primitives__hax__update_at
  132. | Core__ops__range__Range
  133. | Core__ops__range__RangeFrom
  134. | Hax_lib_protocol__crypto__Impl__from_bytes
  135. | Rust_primitives__dummy_hax_concrete_ident_wrapper____1
  136. | Rust_primitives__hax__folds__fold_range_return
  137. | Hax_lib__int__Impl_7
  138. | Rust_primitives__alloc
  139. | Core__panicking__panic
  140. | Rust_primitives__crypto_abstractions
  141. | Hax_lib_protocol__crypto__hash
  142. | Core__ops__control_flow__ControlFlow__Continue__0
  143. | Core__ops__bit__BitAnd
  144. | Hax_lib_protocol__crypto__AEADKey
  145. | Core__option__Option__Some__0
  146. | Rust_primitives__u128__eq
  147. | Hax_lib___internal_loop_invariant
  148. | Hax_lib_protocol__crypto__Impl_5
  149. | Alloc__vec__Impl_14__T
  150. | Core__cmp__PartialOrd__lt
  151. | Core__ops__control_flow__ControlFlow
  152. | Core__slice__index__Impl_4
  153. | Core__marker
  154. | Hax_lib__inline__'_
  155. | Rust_primitives__hax__folds__fold_range_step_by
  156. | Alloc__alloc__Impl_3
  157. | Core__array__iter
  158. | Rust_primitives__dummy_hax_concrete_ident_wrapper__question_mark_result
  159. | Hax_lib__int__Int
  160. | Core__cmp__PartialOrd__lt__'_
  161. | Core__borrow__Impl_2__T
  162. | Alloc__slice__Impl__into_vec
  163. | Core__alloc
  164. | Hax_lib__int__Impl_5___unsafe_from_str__'_
  165. | Hax_lib__inline
  166. | Core__array__iter__IntoIter
  167. | Rust_primitives__std
  168. | Core__iter__adapters__enumerate
  169. | Core__iter__traits__collect__IntoIterator__into_iter
  170. | Rust_primitives__dummy_hax_concrete_ident_wrapper____1__f__T
  171. | Rust_primitives__hax__box_new
  172. | Core__iter__traits
  173. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Closure_1
  174. | Core__slice__Impl__len
  175. | Core__ops__range__RangeFrom__start
  176. | Core__ops
  177. | Core__ops__control_flow__ControlFlow__Continue
  178. | Rust_primitives__dummy_hax_concrete_ident_wrapper___
  179. | Core__ptr__const_ptr__Impl__offset
  180. | Core__ops__function__FnOnce
  181. | Rust_primitives
  182. | Rust_primitives__crypto_abstractions__Use
  183. | Rust_primitives__hax__Failure__Ctor
  184. | Core__ops__range__Range__end
  185. | Hax_lib__Refinement__get_mut__'_
  186. | Rust_primitives__unsize
  187. | Core__ops__bit__Shl__shl
  188. | Hax_lib_protocol__crypto__Impl_6__from_bytes__'_
  189. | Core__iter__traits__iterator__Iterator__next__'_
  190. | Core__ops__bit__Not__not
  191. | Rust_primitives__hax__while_loop
  192. | Core__result__Impl
  193. | Core__cmp__PartialOrd__gt__'__1
  194. | Alloc__string
  195. | Alloc__vec__Impl_13
  196. | Hax_lib__int__Impl_29
  197. | Core__ops__bit__BitAnd__Output
  198. | Hax_lib_protocol__crypto__hmac__'_
  199. | Core__ops__bit__Not
  200. | Rust_primitives__hax__folds__fold_return
  201. | Core__ops__arith__Rem
  202. | Core__num__Impl_9__to_le_bytes
  203. | Hax_lib_protocol__crypto__hash__'_
  204. | Core__borrow__Borrow
  205. | Core__slice__index__Impl_2__T
  206. | Core__cmp__PartialOrd__le
  207. | Hax_lib_protocol__crypto__Impl_6
  208. | Rust_primitives__hax__monomorphized_update_at__update_at_range_from
  209. | Rust_primitives__dummy_hax_concrete_ident_wrapper__iterator_functions__It
  210. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Use
  211. | Core__iter
  212. | Core__array__iter__Impl__N
  213. | Hax_lib__Refinement__new
  214. | Core__str__Impl__as_ptr__'_
  215. | Core__cmp__PartialOrd
  216. | Core__slice__Impl__len__'_
  217. | Hax_lib_protocol__crypto__aead_decrypt__'__1
  218. | Rust_primitives__hax__int__le
  219. | Core__option__Impl
  220. | Core__ops__index__Index__index__'_
  221. | Core__ops__arith__Rem__Output
  222. | Rust_primitives__hax__folds__fold_range_cf
  223. | Rust_primitives__hax__int__ne
  224. | Hax_lib__int__Concretization
  225. | Rust_primitives__u128__shr
  226. | Core__str__Impl
  227. | Core__ops__bit__BitOr
  228. | Alloc__slice__Impl_2__V
  229. | Core__ops__arith__Neg__neg
  230. | Core__slice__iter__ChunksExact
  231. | Core__slice__Impl__chunks_exact
  232. | Alloc__vec__Impl_2__extend_from_slice__'__1
  233. | Core__fmt__Debug
  234. | Hax_lib__inline_unsafe
  235. | Alloc__vec__Impl_13__A
  236. | Core__iter__traits__iterator__Iterator__fold
  237. | Hax_lib_protocol
  238. | Rust_primitives__hax__control_flow_monad__ControlFlowMonad
  239. | Alloc__vec__Impl_13__I
  240. | Core__ops__bit
  241. | Core__ops__function
  242. | Core__panicking__AssertKind
  243. | Core__cmp__PartialOrd__lt__'__1
  244. | Core__fmt__num
  245. | Core__cmp__PartialOrd__ge__'_
  246. | Core__iter__traits__iterator__Iterator__enumerate
  247. | Hax_lib_protocol__crypto__Impl
  248. | Alloc__vec__Impl_1
  249. | Core__result__Impl_27__F
  250. | Hax_lib_protocol__crypto__HMACAlgorithm__Sha256
  251. | Rust_primitives__dummy_hax_concrete_ident_wrapper__refinements__U
  252. | Alloc__alloc
  253. | Core__ops__arith__Div__Output
  254. | Rust_primitives__hax__Failure
  255. | Core__result__Result__Err
  256. | Alloc__vec__Impl_13__T
  257. | Alloc__macros
  258. | Core__ops__arith__Mul__mul
  259. | Rust_primitives__hax__folds__fold_enumerated_chunked_slice_cf
  260. | Core__ops__bit__Shr__Output
  261. | Core__ops__index__Index__Output
  262. | Core__ops__bit__Not__Output
  263. | Core__marker__Copy
  264. | Core__iter__traits__iterator__Iterator__next
  265. | Alloc__string__String
  266. | Core__ops__bit__BitOr__Output
  267. | Core__ops__index
  268. | Core__result__Result
  269. | Core__ptr
  270. | Core__ops__arith__Add
  271. | Alloc
  272. | Alloc__slice__Impl__to_vec__'_
  273. | Core__iter__traits__collect__IntoIterator
  274. | Core__ops__arith__Sub__Output
  275. | Std
  276. | Core__ops__arith
  277. | Rust_primitives__u128
  278. | Rust_primitives__dummy_hax_concrete_ident_wrapper____1__Use
  279. | Core__ops__range__RangeTo
  280. | Alloc__vec__Impl_8
  281. | Core__ops__deref__Deref__Target
  282. | Rust_primitives__dummy_hax_concrete_ident_wrapper
  283. | Rust_primitives__dummy_hax_concrete_ident_wrapper__question_mark_result__A
  284. | Core__slice__index__Impl_2
  285. | Core__convert__From
  286. | Core__ops__bit__BitOr__bitor
  287. | Core__cmp__PartialEq__ne__'_
  288. | Hax_lib_protocol__crypto__dh_scalar_multiply
  289. | Alloc__vec__Impl_14
  290. | Core__option
  291. | Core__ops__try_trait
  292. | Rust_primitives__hax__MutRef
  293. | Core__ops__function__FnMut
  294. | Core__result__Impl_27__E
  295. | Core__convert__num__Impl_88
  296. | Rust_primitives__dummy_hax_concrete_ident_wrapper__refinements
  297. | Hax_lib_protocol__crypto__hmac__'__1
  298. | Rust_primitives__hax__monomorphized_update_at__update_at_range_full
  299. | Rust_primitives__hax__folds__fold_cf
  300. | Core__slice__index__SliceIndex
  301. | Alloc__vec__Impl_11__T
  302. | Core__ops__bit__Shr
  303. | Core__ops__try_trait__Try__Output
  304. | Core__ops__bit__Shl__Output
  305. | Rust_primitives__hax__int__sub
  306. | Core__borrow__Impl_2
  307. | Hax_lib__int
  308. | Core__result__Result__Err__0
  309. | Core__slice__iter__Iter
  310. | Core__str__Impl__as_ptr
  311. | Rust_primitives__hax__repeat
  312. | Core__iter__traits__collect
  313. | Hax_lib_protocol__crypto__aead_decrypt__'_
  314. | Core__slice__iter
  315. | Alloc__slice__Impl__to_vec
  316. | Core__ops__try_trait__Try__branch
  317. | Rust_primitives__hax__folds__fold_enumerated_chunked_slice_return
  318. | Rust_primitives__u128__add
  319. | Hax_lib_protocol__crypto__Impl_5__from_bytes__'_
  320. | Core__result__Result__Ok__0
  321. | Core__convert__Into
  322. | Core__cmp__PartialEq
  323. | Hax_lib_protocol__crypto__DHScalar
  324. | Core__ops__deref__DerefMut__deref_mut__'_
  325. | Alloc__vec__Impl_8__T
  326. | Core__iter__traits__iterator__Iterator__step_by
  327. | Rust_primitives__hax__control_flow_monad__moption
  328. | Alloc__vec__Impl_1__A
  329. | Core__iter__adapters__enumerate__Enumerate
  330. | Rust_primitives__u128__le
  331. | Hax_lib__inline_unsafe__'_
  332. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Use_1
  333. | Alloc__slice__Impl_2__T
  334. | Core__iter__traits__iterator__Iterator
  335. | Core__ops__control_flow__ControlFlow__Break
  336. | Core__ops__arith__Sub
  337. | Core__ops__range
  338. | Core__ops__arith__Rem__rem
  339. | Rust_primitives__dummy_hax_concrete_ident_wrapper_____arith__X
  340. | Hax_lib_protocol__crypto__DHGroup
  341. | Core__array__iter__Impl
  342. | Core__convert__From__from
  343. | Rust_primitives__hax__monomorphized_update_at__update_at_range
  344. | Core__ops__deref
  345. | Hax_lib_protocol__crypto__DHElement
  346. | Rust_primitives__u128__div
  347. | Rust_primitives__u128__ne
  348. | Core__ops__index__IndexMut__index_mut
  349. | Hax_lib_protocol__crypto__Impl_4__from_bytes
  350. | Core__result__Result__Ok
  351. | Hax_lib_protocol__crypto__Impl_4__from_bytes__'_
  352. | Core__fmt__num__Impl_80
  353. | Core__ops__arith__Add__add
  354. | Rust_primitives__u128__bit_and
  355. | Core__convert__num__Impl_64
  356. | Core__cmp__PartialEq__ne__'__1
  357. | Core__clone__Clone__clone
  358. | Core__num__Impl_9
  359. | Rust_primitives__hax__monomorphized_update_at
  360. | Rust_primitives__crypto_abstractions__crypto_abstractions
  361. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Use_3
  362. | Alloc__vec__Impl_11__A
  363. | Core__ops__index__IndexMut__index_mut__'_
  364. | Core__option__Option
  365. | Std__prelude__rust_2021
  366. | Rust_primitives__dummy_hax_concrete_ident_wrapper_____Use
  367. | Core__ops__index__Index__index
  368. | Core__panicking__assert_failed__'_
  369. | Core__cmp__PartialEq__eq__'_
  370. | Core__slice__Impl__iter
  371. | Alloc__vec__Impl_11
  372. | Core__result__Impl_26
  373. | Rust_primitives__hax__folds__fold_enumerated_chunked_slice
  374. | Rust_primitives__hax__int__add
  375. | Alloc__vec__Impl_2__T
  376. | Rust_primitives__hax__folds__fold_enumerated_slice_return
  377. | Rust_primitives__hax__int__from_machine
  378. | Alloc__alloc__Impl_1
  379. | Alloc__vec__Impl_2__extend_from_slice__'_
  380. | Core__cmp__PartialEq__eq__'__1
  381. | Rust_primitives__hax__folds__fold_enumerated_slice
  382. | Hax_lib_protocol__crypto__DHGroup__X25519
  383. | Core__ops__try_trait__Try__Residual
  384. | Rust_primitives__hax__int__eq
  385. | Core__result__Impl__map_err
  386. | Alloc__slice__Concat
  387. | Rust_primitives__hax__failure
  388. | Rust_primitives__dummy_hax_concrete_ident_wrapper__I
  389. | Core__result
  390. | Rust_primitives__hax__while_loop_cf
  391. | Core__ptr__const_ptr__Impl
  392. | Core__ops__try_trait__Try
  393. | Core__cmp__PartialEq__ne
  394. | Hax_lib_protocol__crypto__aead_encrypt__'__1
  395. | Hax_lib_protocol__crypto__aead_encrypt__'_
  396. | Alloc__slice__Concat__Output
  397. | Rust_primitives__dummy_hax_concrete_ident_wrapper_____Use_1
  398. | Rust_primitives__hax__control_flow_monad__mresult__run
  399. | Rust_primitives__hax__control_flow_monad__mresult
  400. | Core__clone__Clone__clone__'_
  401. | Core__panicking
  402. | Hax_lib__int__Impl_5
  403. | Rust_primitives__u128__rem
  404. | Alloc__boxed__Impl
  405. | Core__ops__arith__Div__div
  406. | Core__ops__arith__Neg
  407. | Core__ops__bit__Shl
  408. | Core__ops__deref__DerefMut__deref_mut
  409. | Alloc__vec__Impl_1__truncate__'_
  410. | Core__iter__adapters
  411. | Rust_primitives__dummy_hax_concrete_ident_wrapper__Use_4
  412. | Core__cmp__PartialOrd__gt
  413. | Hax_lib_protocol__crypto__Impl_1__from_bytes__'_
  414. | Alloc__vec__Impl_1__truncate
  415. | Alloc__vec__Impl_2
  416. | Hax_lib__int__Abstraction__AbstractType
  417. | Core__ops__bit__BitXor__bitxor
  418. | Core__num
  419. | Core__option__Option__Some
  420. | Alloc__slice__Impl__T
  421. | Core__convert__num
  422. | Core__str
  423. | Core__iter__adapters__step_by
  424. | Core__convert
  425. | Core__ops__arith__Add__Output
  426. | Hax_lib_protocol__crypto__hmac
  427. | Core__ptr__const_ptr__Impl__T
  428. | Core__convert__Infallible
  429. | Hax_lib__Refinement
  430. | Core__cmp__PartialEq__eq
  431. | Rust_primitives__dummy_hax_concrete_ident_wrapper__dummy__T
  432. | Alloc__vec__Impl_2__A
  433. | Alloc__alloc__Global
  434. | Hax_lib__Refinement__get_mut
  435. | Core__ops__range__RangeTo__end
  436. | Core__slice__Impl
  437. | Core__cmp__PartialOrd__gt__'_
  438. | Rust_primitives__dummy_hax_concrete_ident_wrapper_____arith
  439. | Hax_lib__int__Concretization__concretize
  440. | Hax_lib__RefineAs
  441. | Hax_lib_protocol__ProtocolError
  442. | Core__slice__Impl__iter__'_
  443. | Hax_lib_protocol__crypto__Impl_1
  444. | Alloc__vec__Impl_8__A
  445. | Hax_lib_protocol__crypto__Impl_9
  446. | Core__ops__deref__Deref__deref__'_
  447. | Rust_primitives__hax__folds__fold_range
  448. | Hax_lib__int__Impl_13
  449. | Core__iter__adapters__step_by__StepBy
  450. | Rust_primitives__dummy_hax_concrete_ident_wrapper__question_mark_result__B
  451. | Hax_lib__Refinement__InnerType
  452. | Hax_lib__Refinement__get
  453. | Core__ops__control_flow__ControlFlow__Break__0
  454. | Core__slice__index
  455. | Hax_lib__int__Abstraction__lift
  456. | Hax_lib__assert
  457. | Core__ops__control_flow
  458. | Alloc__vec__from_elem
  459. | Core__panicking__assert_failed
  460. | Alloc__boxed__Box
  461. | Core__result__Impl__T
  462. | Core__iter__traits__iterator__Iterator__Item
  463. | Rust_primitives__hax__control_flow_monad__mexception
  464. | Rust_primitives__dummy_hax_concrete_ident_wrapper__dummy
  465. | Core__macros__builtin
  466. | Rust_primitives__dummy_hax_concrete_ident_wrapper_____Use_2
  467. | Alloc__slice__Impl
  468. | Hax_lib_protocol__crypto__Impl_4
  469. | Core__ops__arith__Sub__sub
  470. | Rust_primitives__hax__int__ge
  471. | Rust_primitives__hax__Never
  472. | Rust_primitives__hax__int__rem
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val equal : t -> t -> Ppx_deriving_runtime.bool
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
val compare : t -> t -> int
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
include sig ... end
type comparable_t = t
type comparator_witness
val comparator : (comparable_t, comparator_witness) Base__Comparator.comparator
module Values : sig ... end
val def_id_of : t -> Types.def_id
val impl_infos_json_list : Yojson.Safe.t list
val impl_infos : (Types.def_id * Types.impl_infos) Base.List.t