Add headers to all source files.

headers/library-header

 
-                                   Fix
+                                  Fix
 
-                      François Pottier, Inria Paris
+                     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.
+terms of the GNU Library General Public License version 2, with a
+special exception on linking, as described in the file LICENSE.
 

src/Boolean.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 type property =
     bool
 

src/Boolean.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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 Boolean lattice. The ordering is [false <= true]. *)
 
 open Sigs

src/Core.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* -------------------------------------------------------------------------- *)

src/Core.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* [Make] constructs a solver for a type [key] that is equipped with

src/Fix.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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. *)
 

src/Gensym.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 type gensym =
   unit -> int
 

src/Gensym.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 (* A gensym is a generator of unique integer identifiers. *)
 
 type gensym =

src/Glue.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 module CHAR = struct

src/Glue.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* -------------------------------------------------------------------------- *)

src/Graph.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 (* Using doubly-linked adjacency lists, one could implement [predecessors] in
    worst-case linear time with respect to the length of the output list,
    [set_successors] in worst-case linear time with respect to the length of

src/Graph.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 (* This module provides a data structure for maintaining and modifying
    a directed graph. Each node is allowed to carry a piece of client
    data. There are functions for creating a new node, looking up a

src/HashCons.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* The interface that we expose is not fully safe: it is possible, by applying

src/HashCons.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* The type ['data cell] describes a cell that carries a unique identifier

src/Memoize.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* [rev_take accu n xs] is [accu @ rev (take n xs)], where [take n xs]

src/Memoize.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* [Make] constructs a memoizer for a type [key] that is

src/Number.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 module Make

src/Number.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* [Make(M)(G)] produces a numbering of the graph [G], or more precisely, of

src/Option.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 module Option (X : sig type t end) = struct
 
   open X

src/Option.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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 option lattice. The ordering is [None <= Some x]. *)
 
 (* Although the code is polymorphic in the type of elements, it must still

src/Set.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 module Set (X : sig
   type t
   val empty: t

src/Set.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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 lattice of sets. The ordering is set inclusion. Therefore,
    the empty set is the bottom element. *)
 

src/Sigs.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 (* -------------------------------------------------------------------------- *)
 
 (* A type alone. *)

src/Tabulate.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 module Make

src/Tabulate.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Sigs
 
 (* [Make] constructs a tabulator for a finite type that is

src/attic/BoolEqs.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Fix
 
 (* -------------------------------------------------------------------------- *)

src/attic/BoolEqs.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Fix
 
 (* -------------------------------------------------------------------------- *)

src/attic/ChopFix.ml

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Maps
 open Fix
 

src/attic/ChopFix.mli

+(******************************************************************************)
+(*                                                                            *)
+(*                                    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.           *)
+(*                                                                            *)
+(******************************************************************************)
+
 open Maps
 open Fix