map based lists "sequence" complete, document, test #104
Description
currently they are mostly used in the sat solver and other places where it is nice to have the combined map string/index addressability,
{{ message }}
currently they are mostly used in the sat solver and other places where it is nice to have the combined map string/index addressability,