File: Case4.v

package info (click to toggle)

coq-doc 8.4pl4-2

file content (7 lines) | stat: -rw-r--r-- 136 bytes


Definition Berry (x y z : bool) :=
  match x, y, z with
  | true, false, _ => 0
  | false, _, true => 1
  | _, true, false => 2
  end.