Module `Abbreviation`

val declare_abbreviation : local:bool -> ?⁠also_in_cases_pattern:bool -> Deprecation.t option -> Names.Id.t -> onlyparsing:bool -> Notation_term.interpretation -> unit
val search_abbreviation : ?⁠loc:Loc.t -> Globnames.abbreviation -> Notation_term.interpretation
val search_filtered_abbreviation : ?⁠loc:Loc.t -> (Notation_term.interpretation -> 'a option) -> Globnames.abbreviation -> 'a option
val import_abbreviation : int -> Libnames.full_path -> Globnames.abbreviation -> unit