sig   module type RemoveInfo =     sig       exception EraseAssigns       exception EraseAllocation       type proj       type fct       val fct_info :         Filter.RemoveInfo.proj ->         Cil_types.kernel_function -> Filter.RemoveInfo.fct list       val fct_name : Cil_types.varinfo -> Filter.RemoveInfo.fct -> string       val param_visible : Filter.RemoveInfo.fct -> int -> bool       val body_visible : Filter.RemoveInfo.fct -> bool       val loc_var_visible :         Filter.RemoveInfo.fct -> Cil_types.varinfo -> bool       val inst_visible : Filter.RemoveInfo.fct -> Cil_types.stmt -> bool       val label_visible :         Filter.RemoveInfo.fct -> Cil_types.stmt -> Cil_types.label -> bool       val annotation_visible :         Filter.RemoveInfo.fct ->         Cil_types.stmt -> Cil_types.code_annotation -> bool       val fun_precond_visible :         Filter.RemoveInfo.fct -> Cil_types.predicate -> bool       val fun_postcond_visible :         Filter.RemoveInfo.fct -> Cil_types.predicate -> bool       val fun_variant_visible :         Filter.RemoveInfo.fct -> Cil_types.term -> bool       val fun_frees_visible :         Filter.RemoveInfo.fct -> Cil_types.identified_term -> bool       val fun_allocates_visible :         Filter.RemoveInfo.fct -> Cil_types.identified_term -> bool       val fun_assign_visible :         Filter.RemoveInfo.fct ->         Cil_types.identified_term Cil_types.from -> bool       val fun_deps_visible :         Filter.RemoveInfo.fct -> Cil_types.identified_term -> bool       val called_info :         Filter.RemoveInfo.proj * Filter.RemoveInfo.fct ->         Cil_types.stmt ->         (Cil_types.kernel_function * Filter.RemoveInfo.fct) option       val res_call_visible : Filter.RemoveInfo.fct -> Cil_types.stmt -> bool       val result_visible :         Cil_types.kernel_function -> Filter.RemoveInfo.fct -> bool       val cond_edge_visible :         Filter.RemoveInfo.fct -> Cil_types.stmt -> bool * bool     end   module F :     functor (Info : RemoveInfo->       sig         val build_cil_file : ?last:bool -> string -> Info.proj -> Project.t       end end