X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FxPath.mli;h=afb4c39e8bf5bfb895bf981bd00e5ee9e3ebef08;hp=44935c3b502f79f09b9f2bcc1e8fc58cc6b3e8fb;hb=e2dce9a8858c17d907ddecc34cd939905a73f0cc;hpb=af288936a2ee49bace0f1070ef9c6e81e9ea6fce diff --git a/src/xPath.mli b/src/xPath.mli index 44935c3..afb4c39 100644 --- a/src/xPath.mli +++ b/src/xPath.mli @@ -46,4 +46,5 @@ sig end -val parse : string -> Ast.path +val parse_string : string -> Ast.path +val parse_file : in_channel -> Ast.path