   Copyright 2006 INRIA  
   $ I d : config.mli , v 1.2 2006 - 04 - 05  doligez Exp $  

(** configure variables needed at run-time. *)
* the library dir of zenon .
val libdir: string;;

* configure variables needed at run-time. 
   Copyright 2006 INRIA  
   $ I d : config.mli , v 1.2 2006 - 04 - 05  doligez Exp $  

* the library dir of zenon .
val libdir: string;;
