File: Case12.v

package info (click to toggle)

coq-doc 8.4pl4-2

file content (8 lines) | stat: -rw-r--r-- 137 bytes


Type
  (fun x : nat =>
   match x return nat with
   | S x as b => match x with
                 | x => x
                 end
   end).