sig assoclists. type memb A -> list A -> o. type append (list A) -> (list A) -> (list A) -> o. type reverse (list A) -> (list A) -> o.
sig assoclists. type memb A -> list A -> o. type append (list A) -> (list A) -> (list A) -> o. type reverse (list A) -> (list A) -> o.