File: cases.v

package info (click to toggle)

coq-doc 8.2pl1-1

file content (9 lines) | stat: -rw-r--r-- 150 bytes

(* Non exhaustive pattern-matching *)

Check
  (fun x =>
   match x, x with
   | O, S (S y) => true
   | O, S x => false
   | S y, O => true
   end).