Index of values


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]