The Coq mailing list

[Bernard Hurley <bernard AT marcade.biz>]

Hi,

How would I match [m] so that I could write a Fixpoint with the format?

+++++++++++++++++++++++++++++++++++
Variable n: nat.

Fixpoint test (m: nat):=
  match m with
    | (* m less than n *) => (*return something*)
    | (* m equals n *) => (* return something *)
    | _ => (* return something *)
  end.
+++++++++++++++++++++++++++++++++++

Cheers,

Bernard.