sig
  val format : Core.Std.Sexp.t -> Pp.t
  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 pp_hum' : Format.formatter -> Core.Std.Sexp.t -> unit
  val to_string_hum' : Core.Std.Sexp.t -> string
  val comment : string -> string
  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
end