sig
  val is_atom : Core.Std.Sexp.t -> bool
  val is_list : Core.Std.Sexp.t -> bool
  val atom : string -> Core.Std.Sexp.t
  val list : Core.Std.Sexp.t list -> Core.Std.Sexp.t
  val to_string_hum' : Core.Std.Sexp.t -> string
  val format : Core.Std.Sexp.t -> Pp.t
  val pp_hum' : Format.formatter -> Core.Std.Sexp.t -> unit
  val comment : string -> string
  module Diff :
    sig
      type t
      val print : ?oc:Pervasives.out_channel -> Extended_sexp.Diff.t -> unit
      val of_sexps :
        Core.Std.Sexp.t -> Core.Std.Sexp.t -> Extended_sexp.Diff.t option
    end
  val print_diff :
    ?oc:Pervasives.out_channel -> Core.Std.Sexp.t -> Core.Std.Sexp.t -> unit
  val summarize :
    Core.Std.Sexp.t ->
    sub_sexp:Core.Std.Sexp.t ->
    size:[ `depth of int | `string of int ] -> Core.Std.Sexp.t
  val of_sexp_allow_extra_fields :
    (Core.Std.Sexp.t -> 'a) -> Core.Std.Sexp.t -> 'a
  val filter_record :
    (Core.Std.Sexp.t -> 'a) -> string list -> Core.Std.Sexp.t -> 'a
  module Records_table :
    sig
      type 'a t = 'a list
      val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
      val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
    end
  module Make_explicit_sexp_option :
    functor
      (T : sig
             type t
             val explicit_sexp_option_fields : string list
             val t_of_sexp :
               Sexplib.Sexp.t -> Extended_sexp.Make_explicit_sexp_option.t
             val sexp_of_t :
               Extended_sexp.Make_explicit_sexp_option.t -> Sexplib.Sexp.t
           end) ->
      sig
        type t = T.t
        val t_of_sexp :
          Sexplib.Sexp.t -> Extended_sexp.Make_explicit_sexp_option.t
        val sexp_of_t :
          Extended_sexp.Make_explicit_sexp_option.t -> Sexplib.Sexp.t
      end
  val load_sexp_conv_exn_sample :
    ?strict:bool ->
    ?buf:string ->
    ?on_non_existence:[ `Exit | `Raise ] ->
    ?name:string ->
    string ->
    sexp_of_t:('a -> Core.Std.Sexp.t) ->
    t_of_sexp:(Core.Std.Sexp.t -> 'a) -> sample:'a -> 'a
  val ounit_tests : unit -> OUnit.test
end