list=

[procedure] list= elt= list1 ...

SRFI-1: Determines list equality, given an element-equality procedure.