Source file `ortac_dune.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(* 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