
SPDX-License-Identifier QPL-1.0-INRIA-2004-exception
This file was originally part of Menhir
François Pottier and Yann Régis-Gianas, INRIA Rocquencourt
Copyright (C)
Institut National de Recherche en Informatique et en Automatique.
All rights reserved.
File modified by
CEA (Commissariat à l'énergie atomique et aux énergies alternatives).
