Arc Cross Reference

caris

[procedure] caris x val

Sees if val is a cons and its car equals to x.