:- use_package(assertions).
:- use_package(regtypes).
:- doc(filetype,module).
:- include(library(assertions/native_props_usage_doc)).

:- doc(title, "Properties related to data sizes, cost, termination").
:- include(library(assertions/native_props_cost)).

