Source file smtbackend__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Smtbackend.Smtbackend_aliases *)
module Smtbackend_aliases = Smtbackend__Smtbackend_aliases

(** @canonical Smtbackend.Smtbackend_smtlib *)
module Smtbackend_smtlib = Smtbackend__Smtbackend_smtlib

(** @canonical Smtbackend.Smtbackend_smtlib_sig *)
module Smtbackend_smtlib_sig = Smtbackend__Smtbackend_smtlib_sig

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