X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FxPath.mli;h=76a6ab3642d750b1d10ec090762f3707cece5095;hp=1e4d26dbf71d41e1e2e0e922359b9ddc8ed58169;hb=6b66008811639324be623a42037b60e02056772c;hpb=ddd758716b1cd691c8748d2e86c179e803b1d3af diff --git a/src/xPath.mli b/src/xPath.mli index 1e4d26d..76a6ab3 100644 --- a/src/xPath.mli +++ b/src/xPath.mli @@ -5,13 +5,20 @@ (* 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: +*) + + + module Ast : sig type path = single_path list