let
string_of_state l =
String
.concat
" "
(
List
.map string_of_mod_key l)