package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ppbox =
  1. | PpHB of int
  2. | PpHOVB of int
  3. | PpHVB of int
  4. | PpVB of int
type ppcut =
  1. | PpBrk of int * int
  2. | PpFnl
val ppcmd_of_box : ppbox -> Pp.t -> Pp.t
val ppcmd_of_cut : ppcut -> Pp.t
type unparsing =
  1. | UnpMetaVar of int * Notation_term.parenRelation
  2. | UnpBinderMetaVar of int * Notation_term.parenRelation
  3. | UnpListMetaVar of int * Notation_term.parenRelation * unparsing list
  4. | UnpBinderListMetaVar of int * bool * unparsing list
  5. | UnpTerminal of string
  6. | UnpBox of ppbox * unparsing Loc.located list
  7. | UnpCut of ppcut
OCaml

Innovation. Community. Security.