Source file `Fix.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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
(******************************************************************************)
(*                                                                            *)
(*                                    Fix                                     *)
(*                                                                            *)
(*                       François Pottier, Inria Paris                        *)
(*                                                                            *)
(*  Copyright Inria. All rights reserved. This file is distributed under the  *)
(*  terms of the GNU Library General Public License version 2, with a         *)
(*  special exception on linking, as described in the file LICENSE.           *)
(*                                                                            *)
(******************************************************************************)

(* The module [Fix] that we present to the final user is obtained as a
   combination of several modules, as follows. *)

(* Define all signatures in the toplevel structure. We expect the user to
   declare [open Fix] and to have direct access to all of these signatures,
   under unqualified names. *)

include Sigs

(* Give access to the following modules as submodules. Thus, if the user has
   declared [open Fix], then she can use [Glue], [Memoize], etc. If she
   hasn't, then she must use [Fix.Glue], [Fix.Memoize], etc. *)

module Glue           = Glue
module Memoize        = Memoize
module Numbering      = Numbering
module GraphNumbering = GraphNumbering
module Indexing       = Indexing
module Tabulate       = Tabulate
module Gensym         = Gensym
module HashCons       = HashCons
module DataFlow       = DataFlow
module CompactQueue   = CompactQueue
module Enum           = Enum
module Partition      = Partition
module Minimize       = Minimize

(**This module defines {b a few common partial orders}, each of which
   satisfies the signature [PROPERTY]. These include Booleans,
   options, and sets. *)
module Prop = struct

  (**The lattice of Booleans. *)
  module Boolean = Boolean

  (* The following declarations are set up so that the user sees
     [Prop.Option] and [Prop.Set] as functors. *)

  (*The lattice of options. *)
  include Option

  (*The lattice of sets. *)
  include Set

end

(* As a special case, [Core] is renamed [Fix]. Thus, if the user has declared
   [open Fix], then she can still use [Fix.Make], [Fix.ForHashedType], etc.
   (This seems nice.) If she hasn't, then she can still use [Fix.Make],
   because we define an alias for [Make] one level up. This is required for
   compatibility with earlier versions of [Fix] (2013-2018), where [Fix.Make]
   was the sole entry point. *)

module Fix     = Core
module Make    = Core.Make