Mercury/ints/bad_exported_mode_helper_1.int:003: Error: `:- mode' declaration Mercury/ints/bad_exported_mode_helper_1.int:003: for predicate `p'/2 without Mercury/ints/bad_exported_mode_helper_1.int:003: a corresponding `:- pred' Mercury/ints/bad_exported_mode_helper_1.int:003: declaration. Mercury/ints/bad_exported_mode_helper_1.int:003: Inferred :- pred p(T1, T2).