links

The Links Programming Language
IN THIS PACKAGE
val add : ?printexc:bool -> ?finalise:bool -> extension_constructor -> ( exn -> Sexplib0.Sexp.t ) -> unit

add constructor sexp_of_exn registers exception S-expression converter sexp_of_exn for exceptions with the given constructor.

NOTE: finalise is ignored, and provided only for backward compatibility.

module For_unit_tests_only : sig ... end