]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_proof_checking/cicPp.ml
"]"
| C.Sort s ->
(match s with
- C.Prop -> "Prop"
- | C.Set -> "Set"
- | C.Type -> "Type"
+ C.Prop -> "Prop"
+ | C.Set -> "Set"
+ | C.Type -> "Type"
+ | C.CProp -> "CProp"
)
| C.Implicit -> "?"
| C.Prod (b,s,t) ->