module Export_to_KaSim: sig .. end
* export.mli
* openkappa
* Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt
*
* Creation: June 30 2016
* Last modification: Time-stamp: <Nov 21 2016>
* *
*
* 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: