Missing files

src/lustre_utils.mli

+val check_eq: Lustre_types.node_desc -> Lustre_types.node_desc -> Lustre_types.node_desc

src/verifierType.ml

+module type S =
+sig
+  val name: string
+  val activate: unit -> unit
+  val is_active: unit -> bool
+  val options: (string * Arg.spec * string) list
+  val get_normalization_params: unit -> Normalization.param_t
+  val run: basename:string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit 
+end
+
+module Default =
+  struct
+
+    let get_normalization_params () = {
+    Normalization.unfold_arrow_active = true;
+    force_alias_ite = false;
+    force_alias_internal_fun = false;
+  }
+
+  end