Commit 26827738 authored by Ralf Jung's avatar Ralf Jung
Browse files

improve naming convention doc for suffices

parent 68fed70f
...@@ -66,13 +66,14 @@ Z : sets ...@@ -66,13 +66,14 @@ Z : sets
Φ : general predicate (over uPred, iProp or Prop) Φ : general predicate (over uPred, iProp or Prop)
Ψ : general predicate (over uPred, iProp or Prop) Ψ : general predicate (over uPred, iProp or Prop)
------------------ Naming conventions for definitions in the Coq development ------------------ ------------------ Naming conventions for algebraic classes in the Coq development ------------------
== Postfixes (may be combined) == == Suffixes ==
T: canonical structurs (for example ofeT for OFEs, cmraT for cameras)
C: OFEs C: OFEs
R: resource algebras and cameras R: cameras
F: functors
UR: unital cameras or resources algebras UR: unital cameras or resources algebras
T: canonical structurs with extra algebraic structure (for example ofeT for OFEs, cmraT for cameras) F: functors (can be combined with all of the above, e.g. CF is an OFE functor)
G: global camera functor management G: global camera functor management
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment