type sexp = tval to_string : t -> stringval to_file : string -> t -> unitval to_chan : Pervasives.out_channel -> t -> unitval print : Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation)
val print_noindent : Format.formatter -> t -> unitRaw, direct printing as compact as possible
module type MONAD = sig ... endA parser of 'a can return `Ok x when it parsed a value, or `Error e when a parse error was encountered, or `End if the input was empty
module MakeDecode (M : MONAD) : sig ... endmodule D : sig ... endDecoder that just blocks when input is not available
val parse_chan : ?bufsize:int -> Pervasives.in_channel -> t or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp)
val parse_chan_gen : ?bufsize:int -> Pervasives.in_channel -> t or_error genParse a channel into a generator of S-expressions
val parse_chan_list : ?bufsize:int -> Pervasives.in_channel -> t list or_error