
:- include(library('fdtypes/type_ops')).
:- use_module(library('fdtypes/basictypes')).

%% Control version comment prompting for the file.
%% Local Variables: 
%% mode: CIAO
%% update-version-comments: "off"
%% End:

