Coercions.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/output/Coercions.out

blob: 6edc9e09a4e51475f12a4bd6c37ecbf58c47d0b2 (plain)

P x
     : Prop
R x x
     : Prop
fun (x : foo) (n : nat) => x n
     : foo -> nat -> nat
"1" 0
     : PAIR