Source file ortac_wrapper__.ml

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