ASSOC-STRING-EQUAL.html -- ACL2 Version 6.3

### ASSOC-STRING-EQUAL

look up key, a string, in association list

    Major Section:  ACL2-BUILT-INS

`(Assoc-string-equal x alist)` is similar to `assoc-equal`. However, for string `x` and alist `alist`, the comparison of `x` with successive keys in `alist` is done using `string-equal` rather than `equal`.

The guard for `assoc-string-equal` requires that `x` is a string and `alist` is an alist.

To see the ACL2 definition of this function, see pf.