S | |
| set_diff_function [Runtime] |
Called to set/unset the
diff function, used by test_result
|
| sexp_of_loc [Runtime] | |
| string_of_loc [Runtime] | string_of_loc and sexp_of_loc are exposed to be rebound in core_kernel.
|
T | |
| test_eq [Runtime] | |
| test_pred [Runtime] | |
| test_result [Runtime] |