(* *)
(* TAToo *)
(* *)
-(* Lucca Hirschi, ? *)
-(* ? *)
+(* Lucca Hirschi, LRI UMR8623 *)
+(* Université Paris-Sud & CNRS *)
(* *)
(* Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
(* Recherche Scientifique. All rights reserved. This file is *)
(** Implementation of compilation from XPath queries into ASTA *)
-val trad : XPath.Ast.path -> Asta.t
+
+val trans : XPath.Ast.path -> Asta.t
(** Compilation function *)