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).