products/sources/formale sprachen/Coq/doc/plugin_tutorial/tuto1/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: SML

Original von: Coq©
open Names
open EConstr

val packed_declare_definition :
    poly:bool -> Id.t -> constr Evd.in_evar_universe_context -> unit

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff