Module Export_to_KaSim

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: 
functor (Reachability : Analyzer.Analyzer) -> Type