Representation of the data associated to an abbreviation.

interp a gives the interpretation of abbreviation a.

full_path a gives the full path of abbreviation a.

enabled a indicates whether the abbreviation a is enabled.

only_parsing a indicates whether the abbreviation a is only used for parsing, and not for printing.

fold f acc folds function f over the current abbreviation map, using acc as the initial accumulator value.

find_opt k gives the abbreviation associated with the key k in the abbreviation map, if there is one.

find_interp k gives the interpretation of the abbreviation associated with the key k in the abbreviation map. The Not_found exception is raised if k is not mapped.

toggle ~on ~use key actives (if on) or deactivates (if not on) the abbreviation with the given key. An abbreviation associated with key should exist, otherwise Not_found is raised.

toggle_if ~on ~use pred is equivalent to running toggle ~on ~use on all abbreviations satisfying the given predicate pred.