module Export_to_KaDE: sig .. end
* export.mli
* openkappa
* Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt
*
* Creation: Aug 23 2016
* Last modification: Time-stamp: <Aug 07 2017>
* *
*
* Copyright 2010,2011 Institut National de Recherche en Informatique et
* en Automatique. All rights reserved. This file is distributed
* under the terms of the GNU Library General Public License
module type Type = sig .. end
module Export: