diff --git a/colibri2/theories/array/foreign_dom.ml b/colibri2/theories/array/foreign_dom.ml index 4864f8fabd2db2f6e42bb44fd794c1f67cff7e8a..6e67f792ad38d09013d2865ba06419fd8638bddd 100644 --- a/colibri2/theories/array/foreign_dom.ml +++ b/colibri2/theories/array/foreign_dom.ml @@ -1,3 +1,24 @@ +(*************************************************************************) +(* This file is part of Colibri2. *) +(* *) +(* Copyright (C) 2014-2021 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* OCamlPro *) +(* *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) +(*************************************************************************) + open Colibri2_core open Colibri2_popop_lib open Popop_stdlib diff --git a/colibri2/theories/array/foreign_dom.mli b/colibri2/theories/array/foreign_dom.mli index 3c92f9cf512f5040e6fd4d9f2d6d46befb21f9f6..4df601997e880f8586e1efe763abbd9d53c45a29 100644 --- a/colibri2/theories/array/foreign_dom.mli +++ b/colibri2/theories/array/foreign_dom.mli @@ -1,3 +1,24 @@ +(*************************************************************************) +(* This file is part of Colibri2. *) +(* *) +(* Copyright (C) 2014-2021 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* OCamlPro *) +(* *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) +(*************************************************************************) + type t = IsForeign val equal : t -> t -> bool diff --git a/colibri2/theories/array/linearity_dom.ml b/colibri2/theories/array/linearity_dom.ml index e39dfb745c0b1d3905d06c7a7df95f3c65c24f11..7b8bcc9fa07e6f7bdb70f63a5e49bc7f6ab9cb84 100644 --- a/colibri2/theories/array/linearity_dom.ml +++ b/colibri2/theories/array/linearity_dom.ml @@ -1,3 +1,24 @@ +(*************************************************************************) +(* This file is part of Colibri2. *) +(* *) +(* Copyright (C) 2014-2021 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* OCamlPro *) +(* *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) +(*************************************************************************) + open Colibri2_core open Colibri2_popop_lib open Popop_stdlib diff --git a/colibri2/theories/array/linearity_dom.mli b/colibri2/theories/array/linearity_dom.mli index 73de77b9963f68421bf05d1ce57e31adee291ffe..ebf456820284c4215f68a2844697a71bc151c56a 100644 --- a/colibri2/theories/array/linearity_dom.mli +++ b/colibri2/theories/array/linearity_dom.mli @@ -1,3 +1,24 @@ +(*************************************************************************) +(* This file is part of Colibri2. *) +(* *) +(* Copyright (C) 2014-2021 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* OCamlPro *) +(* *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) +(*************************************************************************) + type t = NonLinear | Linear of Node.t | Empty val equal : t -> t -> bool