(* 11.1 *) (* 11.2 *) #use "sect11_2/fac.ml" ;; (* 11.3 *) #use "sect11_3/power.ml" ;; (* 11.4 *)