(* Kim Nguyen, LRI UMR8623 *)
(* Université Paris-Sud & CNRS *)
(* *)
-(* Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
+(* Copyright 2010-2013 Université Paris-Sud and Centre National de la *)
(* Recherche Scientifique. All rights reserved. This file is *)
(* distributed under the terms of the GNU Lesser General Public *)
(* License, with the special exception on linking described in file *)
(* ../LICENSE. *)
(* *)
(***********************************************************************)
+
+(*
+ Time-stamp: <Last modified on 2013-01-30 19:05:02 CET by Kim Nguyen>
+*)
+
+
+
module Ast :
sig
type path = single_path list