Commit 6b60c15f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Comments.

parent db37568d
......@@ -56,6 +56,8 @@ let parens d =
break 0 ^^ rparen
)
(* -------------------------------------------------------------------------- *)
(* Tuples. *)
let tuple expr es =
......@@ -63,7 +65,7 @@ let tuple expr es =
(* -------------------------------------------------------------------------- *)
(* The printer. *)
(* Labels (part of [Coq_tag]). *)
let label = function
| None ->
......@@ -73,6 +75,10 @@ let label = function
string "Label_create" ^/^ quote ^^ string l
)
(* -------------------------------------------------------------------------- *)
(* Expressions. *)
let rec expr0 = function
| Coq_var s ->
string s
......
Supports Markdown
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