%   Fixture of test/hash_consing.plt: no constructor has a shape,
%   so every Id records its root constructor only.
:- module(plain, [doubled/2, swapped/2]).
:- use_module(library(hash_consing), []).
:- hash_consing:rewritten([pair(_, _)]).

doubled(X, pair(X, X)).

swapped(pair(A, B), pair(B, A)).