
SPDX-License-Identifier LGPL-2.1
Copyright (C) Inria - CNRS - Paris-Sud University
This file is originally part of the Why3 Verification Platform
