37.9.4 The Object Declaration

The object declaration is only used by certain meta-programming operations. It consists of a fact

     '$so_type'(Object, Type).

where Object is the object-identifier, and Type is either static or dynamic. If the type is static, the other generated predicates will be static; otherwise, they will be dynamic.