:- package(nativeprops).

:- use_module(library(assertions/native_props)).
%% May not be necessary? (PBC)
%% :- use_module(engine(term_typing),[ground/1,nonvar/1,var/1]).
%% :- use_module(engine(basic_props),[regtype/1, native/2, native/1, sideff/2,
%%         term/1, int/1, nnegint/1, flt/1, num/1, atm/1, struct/1, gnd/1]).
%% :- use_module(engine(basiccontrol),[fail/0,'$metachoice'/1,'$metacut'/1]).
