Module Export_to_KaSa

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