]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/pxp/pxpUriResolver.mli
d2a1210aa194e5fc92de463901a9f76b937f59bd
[helm.git] / helm / ocaml / pxp / pxpUriResolver.mli
1 val from_file :
2   ?alt:Csc_pxp_reader.resolver list ->
3   ?system_encoding:Netconversion.encoding ->
4   ?enc:Netconversion.encoding -> string -> Pxp_yacc.source