l2lCheckLoops.mli

(* Time-stamp: <modified the 22/01/2013 (at 13:56) by Erwan Jahier> *)

(** Check that there is no dependancy loops. *)

exception Error of (Lxm.t * string * LicPrg.t)

val doit :  LicPrg.t -> unit