val sexp_of_conv : ('a ‑> Sexplib.Sexp.t) ‑> 'a conv ‑> Sexplib.Sexp.ttype 'a annot_conv = [ `Result of 'a | `Error of exn * Sexplib.Sexp.Annotated.t ] as body constraint 'body = 'a Sexplib.Sexp.Annotated.convval sexp_of_annot_conv : ('a ‑> Sexplib.Sexp.t) ‑> 'a annot_conv ‑> Sexplib.Sexp.tval load_sexp : string ‑> Sexplib.Sexp.tload_sexp file like {!Sexp.load_sexp} file, but resolves the macros
contained in file.
val load_sexps : string ‑> Sexplib.Sexp.t listload_sexps file like {!Sexp.load_sexps} file, but resolves the macros
contained in file.
val load_sexp_conv : string ‑> (Sexplib.Sexp.t ‑> 'a) ‑> 'a annot_convload_sexp_conv file f uses load_sexp and converts the result using
f.
val load_sexps_conv : string ‑> (Sexplib.Sexp.t ‑> 'a) ‑> 'a annot_conv listload_sexps_conv file f uses load_sexps and converts the result using
f.
val load_sexp_conv_exn : string ‑> (Sexplib.Sexp.t ‑> 'a) ‑> 'aload_sexp_conv_exn file f like load_sexp_conv, but raises an exception
in case of conversion error.
val load_sexps_conv_exn : string ‑> (Sexplib.Sexp.t ‑> 'a) ‑> 'a listload_sexps_conv_exn file f like load_sexps_conv, but raises an
exception in case of conversion error.
val expand_local_macros : Sexplib.Sexp.t list ‑> Sexplib.Sexp.t list convexpand_local_macros sexps takes a list of sexps and performs macro-expansion on
them, except that an error will be returned if an :include macro is found.
module type Sexp_loader : sig ... endA version of load_sexps that is functorized with respect to the functions
that load the sexps from files and the corresponding monad.
module Loader : functor (S : Sexp_loader) -> sig ... end