1:- module(assertions, []).    2
    3:- use_module(library(compound_expand)).    4:- reexport(library(assertions_op)).    5:- reexport(library(assertions/assrt_lib)).    6
    7:- multifile user:file_search_path/2.    8
    9user:file_search_path(assertions, library(assertions)).
   10
   11% assrt_lib:nodirective_error_hook(Assr) :-
   12%     throw(error(context_error(nodirective, Assr), _)).
   13
   14term_expansion((:- Decl), term_position(_, _, _, _, [DPos]), Records, RPos) :-
   15    assertion_records(Decl, DPos, Records, RPos)