7-11-doubles

7, 11 and doubles

Write a function with type:

seven_eleven_doubles : unit -> bool * int * int

which throws two random dices d1,d2, and returns a triple (b,d1,d2) where b is true iff the sum of the two dices is 7 or 11, or if the two dices are equal.