package ortac-wrapper

  1. Overview
  2. Docs

Source file ortac_wrapper__.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_wrapper.Failure *)
module Failure = Ortac_wrapper__Failure

(** @canonical Ortac_wrapper.Generate *)
module Generate = Ortac_wrapper__Generate

(** @canonical Ortac_wrapper.Ir *)
module Ir = Ortac_wrapper__Ir

(** @canonical Ortac_wrapper.Ir_of_gospel *)
module Ir_of_gospel = Ortac_wrapper__Ir_of_gospel

(** @canonical Ortac_wrapper.Report *)
module Report = Ortac_wrapper__Report

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