Source file ortac_dune.ml

(* generated by dune *)

(** @canonical Ortac_dune.Dune_rules *)
module Dune_rules = Ortac_dune__Dune_rules

(** @canonical Ortac_dune.Qcheck_stm *)
module Qcheck_stm = Ortac_dune__Qcheck_stm

(** @canonical Ortac_dune.Utils *)
module Utils = Ortac_dune__Utils

(** @canonical Ortac_dune.Wrapper *)
module Wrapper = Ortac_dune__Wrapper