Source file `ortac_qcheck_stm__.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* generated by dune *)

(** @canonical Ortac_qcheck_stm.Config *)
module Config = Ortac_qcheck_stm__Config

(** @canonical Ortac_qcheck_stm.Ir *)
module Ir = Ortac_qcheck_stm__Ir

(** @canonical Ortac_qcheck_stm.Ir_of_gospel *)
module Ir_of_gospel = Ortac_qcheck_stm__Ir_of_gospel

(** @canonical Ortac_qcheck_stm.Reserr *)
module Reserr = Ortac_qcheck_stm__Reserr

(** @canonical Ortac_qcheck_stm.Stm_of_ir *)
module Stm_of_ir = Ortac_qcheck_stm__Stm_of_ir

module Ortac_qcheck_stm__ = struct end
[@@deprecated "this module is shadowed"]