package coq

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

Module PpextendSource

Pretty-print.
Sourcetype ppbox =
  1. | PpHB
  2. | PpHOVB of int
  3. | PpHVB of int
  4. | PpVB of int
Sourcetype ppcut =
  1. | PpBrk of int * int
  2. | PpFnl
Sourceval ppcmd_of_box : ppbox -> Pp.t -> Pp.t
Sourceval ppcmd_of_cut : ppcut -> Pp.t
Printing rules for notations
Sourcetype pattern_quote_style =
  1. | QuotedPattern
  2. | NotQuotedPattern
Sourcetype unparsing =
  1. | UnpMetaVar of Constrexpr.entry_relative_level * Extend.side option
  2. | UnpBinderMetaVar of Constrexpr.entry_relative_level * pattern_quote_style
  3. | UnpListMetaVar of Constrexpr.entry_relative_level * unparsing list * Extend.side option
  4. | UnpBinderListMetaVar of bool * unparsing list
  5. | UnpTerminal of string
  6. | UnpBox of ppbox * unparsing Loc.located list
  7. | UnpCut of ppcut

Declare and look for the printing rule for symbolic notations

Sourcetype unparsing_rule = unparsing list * Constrexpr.entry_level
Sourcetype extra_unparsing_rules = (string * string) list
Sourceval unparsing_eq : unparsing -> unparsing -> bool
Sourceval declare_generic_notation_printing_rules : Constrexpr.notation -> reserved:bool -> extra:extra_unparsing_rules -> unparsing_rule -> unit
Sourceval declare_specific_notation_printing_rules : Constrexpr.specific_notation -> extra:extra_unparsing_rules -> unparsing_rule -> unit
Sourceval has_generic_notation_printing_rule : Constrexpr.notation -> bool
Sourceval find_generic_notation_printing_rule : Constrexpr.notation -> unparsing_rule * bool * extra_unparsing_rules
Sourceval find_specific_notation_printing_rule : Constrexpr.specific_notation -> unparsing_rule * extra_unparsing_rules
Sourceval add_notation_extra_printing_rule : Constrexpr.notation -> string -> string -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct