Key is equal to Key/0.
Success:
      [eclipse]: module(numbers).
      [numbers]: local_record(type/0).
      yes
      [numbers]: record(type, integer),
              record(type, real),
              record(type, fractional).
      yes.
      [numbers]: module(beer).
      [beer]: local_record(type),
              record(type, lager),
              record(type, stout).
      yes.
      [beer]: recorded(type, Type).
      Type = lager     More? (;)
      Type = stout     More? (;)
      no (more) solution.
      [beer]: module(numbers).
      [numbers]: recorded(type, Type).
      Type = integer     More? (;)
      Type = real     More? (;)
      Type = fractional     More? (;)
      no (more) solution.
      [numbers]: module(other).
      [other]: recorded(type, Type).
      no (more) solution.
Error:
      local_record(X).               (Error 4).
      local_record(123).             (Error 5).
      local_record(key/3),
          local_record(key/3).       (Error 44).