      \fitem{is_obj}\textcolor{fctcolor}{\_xxx}(\vValue) %%
      where \textcolor{fctcolor}{xxx} is the name (without the prefix
      \code{obj::}) of an object defined through \acode{obj_def}. This
      predicate is automatically generated with an object definition and
      check that a value represents an instance of \code{obj::xxx}.


      %%% -------------------------------------------------------

