package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module AbbreviationSource

Abbreviations.

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

Innovation. Community. Security.