with_loadpath loadpath filename finds the first directory d in loadpath such that d/filename is a valid file path, and returns it. If filename is an absolute valid path or is "gospelstdlib.mli", it returns it unchanged. Raises Not_found if no such path exists.
val parse_ocaml : string -> Ppxlib.signature`parse_ocaml file` parses the OCaml content of the `file` if it is a valid interface.
Raise Not_found if file does not exist. Raise Syntax_error if there is an OCaml syntax error.
val parse_gospel :
filename:string ->
Ppxlib.signature ->
string ->
Uast.s_signatureparse_gospel sig_list module_name parses the GOSPEL attributes and integrates them in the corresponding OCaml signatures.
val parse_ocaml_gospel : string -> Uast.s_signatureparse_ocaml_gospel path parses the OCaml interface and the GOSPEL specification of the file located in path.
Raise Not_found if the file does not exist. Raise Syntax_error if there is an OCaml syntax error.