Straight

Consider the following types to represent French-suited cards:

type suit = S | H | D | C;;
type card = Card of int * suit;;

Write a function with type:

straight : card * card * card * card * card -> bool

which evaluates to true iff the hand contains a straight, namely five cards in sequential order, possibly with different suites.