(* extents.ml                                            (c) R.J.Boulton 1990 *)
(*----------------------------------------------------------------------------*)


(******************************************************************************)
(*                                                                            *)
(*  W A R N I N G : The version of ML for which this code was written has     *)
(*                  equality on abstract types defined automatically, i.e =>    *)
(*                  without the need for it to be defined within the          *)
(*                  abstract type definitions => Furthermore, this code makes   *)
(*                  use of these equality functions =>                          *)
(*                                                                            *)
(******************************************************************************)


(******************************************************************************)
(*                                                                            *)
(*                            .... =>                                           *)
(*                            .M L =>                                           *)
(*                            .... =>                                           *)
(*                              |                                             *)
(*                            ..|. =>                                           *)
(*                            .HOL =>                                           *)
(*                            .... =>                                           *)
(*                              |                                             *)
(*                              |                                             *)
(*                          extents.ml______________                          *)
(*                              |                   |                         *)
(*                              |                   |                         *)
(*                           sets.ml                |                         *)
(*                              |                   |                         *)
(*                              |                   |                         *)
(*                              |             ______|                         *)
(*                              |            |                                *)
(*                              |            |                                *)
(*                          struct.ml     name.ml     		              *)
(*                              |__________  |                                *)
(*                                         | |                                *)
(*                                      matching.ml                           *)
(*                                     ______|_______                         *)
(*                                    |              |                        *)
(*                               sidecond.ml     search.ml                    *)
(*                                    |_____   ______|                        *)
(*                                          | |                               *)
(*                                        user.ml                             *)
(*                                                                            *)
(******************************************************************************)


(*----------------------------------------------------------------------------*)
(*

use "extents.sig";
use "extents.sml";
use "sets.sig";
use "sets.sml";
use "struct.sig";
use "struct.sml";
use "name.sig";
use "name.sml";
use "matching.sig";
use "matching.sml";
use "sidecond.sig";
use "sidecond.sml";
use "search.sig";
use "search.sml";
use "user.sig";
use "user.sml";























