:- module(test_intf, [intf_pred/3, intf_meta/2]). :- use_module(library(interface)). :- interface. :- meta_predicate intf_meta(0,+).