include "Z/compare.ma".
include "Z/plus.ma".
include "nat/factorization.ma".
+include "Q/fraction/fraction.ma".
-alias id "pp" = "cic:/matita/Q/fraction/fraction/fraction.ind#xpointer(1/1/1)".
-alias id "cons" = "cic:/matita/Q/fraction/fraction/fraction.ind#xpointer(1/1/3)".
let rec enumerator_integral_fraction l ≝
match l with
[ pp n ⇒ Some ? l