Equality and type predicates

Macros
#define	Cyc_eq(x, y)   (make_boolean(x == y))
#define	Cyc_is_atomic(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == atomic_tag))
#define	Cyc_is_bignum(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == bignum_tag))
#define	Cyc_is_boolean(o)   (make_boolean(o == boolean_f || o == boolean_t))
#define	Cyc_is_bytevector(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == bytevector_tag))
#define	Cyc_is_char(o)   (make_boolean(obj_is_char(o)))
#define	Cyc_is_complex(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == complex_num_tag))
#define	Cyc_is_cond_var(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == cond_var_tag))
#define	Cyc_is_cvar(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == cvar_tag))
#define	Cyc_is_double(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == double_tag))
#define	Cyc_is_eof_object(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == eof_tag))
#define	Cyc_is_fixnum(o)   (make_boolean(obj_is_int(o)))
#define	Cyc_is_macro(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == macro_tag))
#define	Cyc_is_mutex(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == mutex_tag))
#define	Cyc_is_null(o)   (make_boolean(o == NULL))
#define	Cyc_is_opaque(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == c_opaque_tag))
#define	Cyc_is_pair(o)   ((is_object_type(o) && ((list) o)->tag == pair_tag) ? boolean_t : boolean_f)
#define	Cyc_is_port(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == port_tag))
#define	Cyc_is_string(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == string_tag))
#define	Cyc_is_symbol(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == symbol_tag))
#define	Cyc_is_vector(o)   (make_boolean(is_object_type(o) && ((vector) o)->tag == vector_tag))
#define	Cyc_is_vector_not_record_type(o)
#define	Cyc_is_void_object(o)   (make_boolean(is_object_type(o) && ((list) o)->tag == void_tag))

Functions
object	Cyc_eqv (object x, object y)
object	Cyc_has_cycle (object lst)
object	Cyc_is_immutable (object obj)
object	Cyc_is_integer (object o)
object	Cyc_is_list (object lst)
object	Cyc_is_number (object o)
object	Cyc_is_procedure (void *data, object o)
object	Cyc_is_real (object o)
object	Cyc_is_record (object o)
int	equal (object, object)
object	equalp (object, object)

Detailed Description