sig   val get : 'a -> ('a * 'b) list -> 'b option   val getq : 'a -> ('a * 'b) list -> 'b option   val mem : 'a -> map:('a * 'b) list -> bool   val memq : 'a -> map:('a * 'b) list -> bool   val remove_assoc : 'a -> ('a * 'b) list -> ('a * 'b) list   val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list   val remove_and_get : 'a -> ('a * 'b) list -> ('b * ('a * 'b) list) option   val remove_and_getq : 'a -> ('a * 'b) list -> ('b * ('a * 'b) list) option end