Source file ortac_qcheck_stm__.ml

(* 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"]