products/sources/formale Sprachen/Coq/test-suite/misc/quotation_token/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Ada

Haftungsausschluß.mlg KontaktPVS {PVS[61] Isabelle[72] Cobol[94]}diese Dinge liegen außhalb unserer Verantwortung

{
open Pcoq.Constr
}
GRAMMAR EXTEND Gram
  GLOBAL: operconstr;

  operconstr: LEVEL "0"
    [ [ s = QUOTATION "foobar:" ->
        {
          CAst.make ~loc (Constrexpr.CSort Glob_term.GProp) } ] ]
  ;
END

[ Seitenstruktur0.82Drucken  ]