Module Hax_engine.Concrete_ident_generated

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