Source file `numeric_values__.ml`

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

(** @canonical Numeric_values.Congruences *)
module Congruences = Numeric_values__Congruences

(** @canonical Numeric_values.Values *)
module Values = Numeric_values__Values

(** @canonical Numeric_values.Zero *)
module Zero = Numeric_values__Zero

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