package colibrilib

  1. Overview
  2. Docs

Source file colibrilib__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
(* generated by dune *)

(** @canonical Colibrilib.Bound__Bound *)
module Bound__Bound = Colibrilib__Bound__Bound

(** @canonical Colibrilib.Interval__Bound *)
module Interval__Bound = Colibrilib__Interval__Bound

(** @canonical Colibrilib.Interval__Convexe *)
module Interval__Convexe = Colibrilib__Interval__Convexe

(** @canonical Colibrilib.Modulo__Divisible *)
module Modulo__Divisible = Colibrilib__Modulo__Divisible

(** @canonical Colibrilib.Ord *)
module Ord = Colibrilib__Ord

(** @canonical Colibrilib.Q__Q *)
module Q__Q = Colibrilib__Q__Q

(** @canonical Colibrilib.Q_extra *)
module Q_extra = Colibrilib__Q_extra

(** @canonical Colibrilib.Summarize__Summarize *)
module Summarize__Summarize = Colibrilib__Summarize__Summarize

(** @canonical Colibrilib.Union__Union *)
module Union__Union = Colibrilib__Union__Union

(** @canonical Colibrilib.Why3__BuiltIn *)
module Why3__BuiltIn = Colibrilib__Why3__BuiltIn

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