Source file `goblint_constraint__.ml`

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

(** @canonical Goblint_constraint.ConstrSys *)
module ConstrSys = Goblint_constraint__ConstrSys

(** @canonical Goblint_constraint.SolverTypes *)
module SolverTypes = Goblint_constraint__SolverTypes

(** @canonical Goblint_constraint.Translators *)
module Translators = Goblint_constraint__Translators

(** @canonical Goblint_constraint.VarQuery *)
module VarQuery = Goblint_constraint__VarQuery

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