Source file `clerk_driver__.ml`

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

(** @canonical Clerk_driver.Clerk_cli *)
module Clerk_cli = Clerk_driver__Clerk_cli

(** @canonical Clerk_driver.Clerk_poll *)
module Clerk_poll = Clerk_driver__Clerk_poll

(** @canonical Clerk_driver.Clerk_report *)
module Clerk_report = Clerk_driver__Clerk_report

(** @canonical Clerk_driver.Clerk_rules *)
module Clerk_rules = Clerk_driver__Clerk_rules

(** @canonical Clerk_driver.Clerk_runtest *)
module Clerk_runtest = Clerk_driver__Clerk_runtest

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