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

:- doc(title, "Properties related to sharing/aliasing, groundness").
:- include(library(assertions/native_props_shfrg)).

:- doc(modue, "More text for the module").
