module Static_contact_map_domain: sig
.. end
* contact_map_domain.ml
* openkappa
* Jérôme Feret & Ly Kim Quyen, project Antique, INRIA Paris
*
* Creation: 2016, the 22th of February
* Last modification: Time-stamp: <Apr 02 2017>
*
* Abstract domain to record live rules
*
* Copyright 2010,2011,2012,2013,2014,2015,2016 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
val local_trace : bool
module Domain: sig
.. end