Source file metAcsl__.ml

(* generated by dune *)

(** @canonical MetAcsl.Meta_annotate *)
module Meta_annotate = MetAcsl__Meta_annotate

(** @canonical MetAcsl.Meta_bindings *)
module Meta_bindings = MetAcsl__Meta_bindings

(** @canonical MetAcsl.Meta_deduce *)
module Meta_deduce = MetAcsl__Meta_deduce

(** @canonical MetAcsl.Meta_dispatch *)
module Meta_dispatch = MetAcsl__Meta_dispatch

(** @canonical MetAcsl.Meta_options *)
module Meta_options = MetAcsl__Meta_options

(** @canonical MetAcsl.Meta_parse *)
module Meta_parse = MetAcsl__Meta_parse

(** @canonical MetAcsl.Meta_run *)
module Meta_run = MetAcsl__Meta_run

(** @canonical MetAcsl.Meta_simplify *)
module Meta_simplify = MetAcsl__Meta_simplify

(** @canonical MetAcsl.Meta_utils *)
module Meta_utils = MetAcsl__Meta_utils

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