Module Lambda.Phys_equal

type t =
  1. | Eq
  2. | Noteq