(**********************************)
(* Continuity of common functions *)
(**********************************)

(* Specifications: *)
Lemma id_cont (D : cpo) : continuous (@id D).
Arguments const_cont {D1 D2 y}.
Lemma comp_cont (D1 D2 D3 : cpo) (f1 : D2 -> D1) (f2 : D3 -> D2) :
continuous f1 -> continuous f2 -> continuous (f1 \o f2).